wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-12 15:35:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/Special
History
Siddharth VP adda8a6649 Show gadget definition validation warnings in Special:Gadgets 
Bug: T298334
Change-Id: Id241125b9b8abfb971dfa600ab0df9c6047f2b32
2023-11-30 21:59:04 +00:00
..
SpecialGadgets.php Show gadget definition validation warnings in Special:Gadgets 2023-11-30 21:59:04 +00:00
SpecialGadgetUsage.php docs: Make PHP file headers more consistent 2023-10-30 18:10:58 -04:00