wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-24 07:23:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/Special
History
Umherirrender 1afd0a6e02 Use namespaced classes 
This requires 1.42 for some new names

Changes to the use statements done automatically via script
Addition of missing use statement done manually

Change-Id: Iacbea33299995c537a7ef77b524614ad02c6a559
2024-01-06 17:45:07 +01:00
..
SpecialGadgets.php Use namespaced classes 2024-01-06 17:45:07 +01:00
SpecialGadgetUsage.php Use namespaced classes 2024-01-06 17:45:07 +01:00