wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-11 14:56:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../includes
History
James D. Forrester 988bc3c0b1 Drop wgCodeEditorEnableCore, default on, pointless to disable 
Change-Id: I637ac6cc92183dbf73b6bb39d487c6d4099657be
2019-07-12 10:58:50 -07:00
..
CodeEditorHooks.php Drop wgCodeEditorEnableCore, default on, pointless to disable 2019-07-12 10:58:50 -07:00