wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-30 19:15:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
Derk-Jan Hartman 38a70500a0 Use ExtensionRegistry instead of class_exists 
Bug: T183096
Change-Id: I2b02e89f20ecab9dda44ea9a78067a96fc04392c
2018-08-19 17:17:03 +02:00
..
WikiEditorHooks.php Use ExtensionRegistry instead of class_exists 2018-08-19 17:17:03 +02:00