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 1f186a0f2b Change type-hints to IReadableDatabase 
Change-Id: Ib77f8f409b48115684396bf920428adb075c2820
2024-04-21 20:48:58 +02:00
..
SpecialGadgets.php Improve localisation on Special:Gadgets, minor code cleanups 2024-03-25 15:37:40 -07:00
SpecialGadgetUsage.php Change type-hints to IReadableDatabase 2024-04-21 20:48:58 +02:00