mediawiki-extensions-CodeMi.../resources
Bartosz Dziewoński d23ffa17cb Update VisualEditor styles for Vector changes
Bug: T252471
Change-Id: I6ba64f2deaa27172842ee5f71363708758324aff
2020-05-12 00:42:03 +02:00
..
lib Unify monospace font stack. Avoid potential sizing bug caused by weird browser behavior with font-family: monospace; 2020-02-28 04:44:07 +00:00
mode/mediawiki Highlight match end tag with different capitalization 2019-04-14 01:25:40 +02:00
modules/ve-cm Update VisualEditor styles for Vector changes 2020-05-12 00:42:03 +02:00
ext.CodeMirror.js Enable spellchecking on Firefox 2020-02-29 22:54:43 +01:00
ext.CodeMirror.less Don't let CodeMirror set the font to monospace if it's set on an ancestor. 2020-02-29 18:01:27 +00:00