mediawiki-extensions-CodeMi.../resources
Ed Sanders 9960ed601f Remove font-size now it is set by editfont
Bug: T180678
Change-Id: Ic9e8bdb3b34dbb2f2c5748d6bb57e9da90112118
2017-12-21 12:21:57 +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 Remove font-size now it is set by editfont 2017-12-21 12:21:57 +00:00
ext.CodeMirror.js Fix target detection for jquery.textSelection overrides 2017-12-19 21:00:14 +00:00
ext.CodeMirror.less Set 'clear: both' on .CodeMirror for compatibility with gadgets 2017-09-19 21:37:05 +04:30