wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
Fomafix 64b8b68377 Use namespaced classes 
Change-Id: I2da5bc5871d8e7e229dcae44a303910fd9d21994
2023-10-03 06:57:26 +00:00
..
Hooks.php Use namespaced classes 2023-10-03 06:57:26 +00:00