mediawiki-extensions-Gadgets/includes/Special
Umherirrender 0b870852d8 Use namespaced classes
Changes to the use statements done automatically via script
Addition of missing use statement done manually

Change-Id: Idc09b4f3e1ffa40f234b34cd8c0c515bd58ce67b
2024-06-09 11:27:57 +02:00
..
SpecialGadgets.php Use namespaced classes 2024-06-09 11:27:57 +02:00
SpecialGadgetUsage.php Drop a few easy to avoid Html::open/closeElement 2024-04-29 12:53:07 +02:00