wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-24 06:13:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
Thiemo Kreuz 84846ec71f 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
(cherry picked from commit 4a3c2dcad5)
2021-05-17 14:26:17 +00:00
..
lib Update CodeMirror to 5.58.3 2021-05-17 14:26:17 +00:00
mode/mediawiki Update CodeMirror to 5.58.3 2021-05-17 14:26:17 +00:00
modules/ve-cm Update CodeMirror to 5.58.3 2021-05-17 14:26:17 +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