wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-13 17:27:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
jenkins-bot 348949d15b Merge "Defer update of CM surface to avoid invisible text"
2018-02-25 20:58:45 +00:00
..
images Unify BetaFeatures SVG screenshot markup 2017-12-01 18:52:17 +00:00
lib/codemirror Update CodeMirror library to 5.30.0 2017-09-26 09:28:20 +06:00
mode/mediawiki Update comment text color CSS 2017-12-05 09:32:34 +00:00
modules Merge "Defer update of CM surface to avoid invisible text" 2018-02-25 20:58:45 +00:00
ext.CodeMirror.js textSelection: Replace encapsulateSelection with replaceSelection 2018-02-09 10:31:47 +00:00
ext.CodeMirror.less Set 'clear: both' on .CodeMirror for compatibility with gadgets 2017-09-19 21:37:05 +04:30