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
..
php.js	Update CodeMirror to 5.58.3	2020-12-07 20:20:49 +00:00