wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-27 15:40:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../includes
History
Fomafix b17c8b7557 Move check for 'usebetatoolbar' from JS to PHP 
This change avoids useless loading of the module 'ext.CodeMirror'.

Change-Id: I2637487b72c028d272748f2891239401412f77b5
2020-02-23 20:50:17 +00:00
..
CodeMirrorHooks.php Move check for 'usebetatoolbar' from JS to PHP 2020-02-23 20:50:17 +00:00
ResourceLoaderCodeMirrorModule.php Use new Parser accessors 2018-08-13 22:56:03 -07:00