mediawiki-extensions-CodeMi.../resources
Ed Sanders 4d53bcbe09 VE: Don't load CodeMirror code until tool is activated
This saves about 300k uncompressed / 80k compressed whenever VE loads!

Change-Id: I7cf1c35292c2ea48cc15ceb4c22d4473a25484e9
2020-03-19 20:23:24 +00: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 VE: Don't load CodeMirror code until tool is activated 2020-03-19 20:23:24 +00: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