jenkins-bot 79284952de Merge "Fire a hook when the CodeMirror editor is switched"		2021-07-13 04:39:52 +00:00
..
addon/edit	Fix bracket matching getting stuck when leaving the brackets	2021-04-23 14:48:23 +02:00
lib	Enable line numbering	2021-04-08 09:53:23 +02:00
mode/mediawiki	Merge "Fix MediaWiki highlighter partly failing on quoted attributes"	2021-04-30 12:43:30 +00:00
modules/ve-cm	Move var declarations inline	2021-06-15 15:50:09 +01:00
ext.CodeMirror.js	Merge "Fire a hook when the CodeMirror editor is switched"	2021-07-13 04:39:52 +00: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