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
Adam Wight f2b6cec8f6 Reposition line numbering to be flush with the title 
Bug: T267911
Change-Id: I8aab2f53ebba63a93f5a6bd63d616db801965ae0
2021-04-08 13:22:10 +02:00
..
addon/edit Refine bracket matching styling 2021-03-08 09:26:07 +01:00
lib Enable line numbering 2021-04-08 09:53:23 +02:00
mode/mediawiki Merge "Update color scheme to meet accessibility standards" 2021-03-09 16:08:25 +00:00
modules/ve-cm Reposition line numbering to be flush with the title 2021-04-08 13:22:10 +02:00
ext.CodeMirror.js Enable line numbering 2021-04-08 09:53:23 +02: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