wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2025-01-09 03:04:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
Thiemo Kreuz 4a3c2dcad5 Update CodeMirror to 5.58.3 
I had to make some CSS selectors more specific, because the
library changed

 .CodeMirror pre

to

 .CodeMirror pre.CodeMirror-line,
 .CodeMirror pre.CodeMirror-line-like

This is only relevant for entire lines (implemented as <pre>
elements). Most of the custom CSS is for characters, not lines.

In my tests in the Wikitext editor as well as VisualEditor I
could not spot any difference between the old and new version.

Bug: T258999
Change-Id: I6f0f030f972838727f3ef220feb105264f122798
2020-12-07 20:20:49 +00:00
..
lib Update CodeMirror to 5.58.3 2020-12-07 20:20:49 +00:00
mode/mediawiki Update CodeMirror to 5.58.3 2020-12-07 20:20:49 +00:00
modules/ve-cm Update CodeMirror to 5.58.3 2020-12-07 20:20:49 +00:00
ext.CodeMirror.js Record usage statistics for syntax highlighting 2020-11-25 15:18:01 +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