wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
jenkins-bot fc4d4b0c36 Merge "Do not load module 'ext.CodeMirror' when CodeEditor is active"
2019-03-20 21:31:03 +00:00
..
lib/codemirror Remove unused mode files 2018-02-28 12:24:30 +00:00
mode/mediawiki Merge "Make Special:JavaScriptTest pass on Webkit and on Firefox" 2019-03-12 10:32:28 +00:00
modules/ve-cm Remove obsolete aliases from closures 2018-11-12 13:19:41 +00:00
ext.CodeMirror.js Merge "Do not load module 'ext.CodeMirror' when CodeEditor is active" 2019-03-20 21:31:03 +00:00
ext.CodeMirror.less Conditionally load CodeMirror lib 2019-03-14 23:31:18 +00:00