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
Ed Sanders 8b27277b20 VE: Refresh rendering after surfaceReady 
Bug: T188215
Change-Id: I4c53f554d8091aa71ce59fe04857b588209639d3
2018-02-25 17:58:32 +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 VE: Refresh rendering after surfaceReady 2018-02-25 17:58:32 +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