wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2025-01-05 11:35:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
Fomafix adcebf3bcf Update namespaces of PHP classes 
Change-Id: I56209efeb14a6271775d954ea0e50ff44d05ac84
2024-10-03 20:00:02 +00:00
..
Hooks.php Update namespaces of PHP classes 2024-10-03 20:00:02 +00:00