wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-04 19:58:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
2167 commits 14 branches 25 tags 22 MiB
Commit graph

1 commit

Author SHA1 Message Date
Siddharth VP a7309d2b1f Namespace special page classes 
Change-Id: I005f6674c9cc80c5c9e26ae84acfbceebb43734e
 2023-10-30 21:13:41 +05:30
Renamed from includes/SpecialGadgetUsage.php (Browse further)