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
jenkins-bot 88e934c6cb Merge "Goodbye Gadget/Gadget_definition namespaces!"
2024-02-24 16:50:56 +00:00
..
SpecialGadgets.php Merge "Goodbye Gadget/Gadget_definition namespaces!" 2024-02-24 16:50:56 +00:00
SpecialGadgetUsage.php Goodbye Gadget/Gadget_definition namespaces! 2024-02-13 13:30:26 +00:00