wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 18:29:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
Thiemo Kreuz bab5c5232d Disable line numbering in all Android browser versions 
This patch also minifies existing code. Note that [] is true in
JavaScript, unlike in PHP.

Bug: T285660
Change-Id: Ic80903ebd1364505fd4aaf7f53b53324a235fd79
2021-09-03 11:37:03 +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 Disable line numbering in all Android browser versions 2021-09-03 11:37:03 +00:00
ext.CodeMirror.js Disable line numbering in all Android browser versions 2021-09-03 11:37:03 +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