wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 12:00:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
Reedy 51c3fe42bd Swap to AutoloadNamespaces 
Change-Id: I4eb121b4e81b4ec4833ce0bea81ae041abbdacc9
Follows-Up: I0be9b88accafce97f7e9b7524ec740fb576fa11c
2022-02-06 13:55:54 +00:00
..
Hooks.php Swap to AutoloadNamespaces 2022-02-06 13:55:54 +00:00