mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-30 17:04:14 +00:00
4a3c2dcad5
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
8 lines
126 B
JSON
8 lines
126 B
JSON
{
|
|
"extends": "stylelint-config-wikimedia",
|
|
"rules": {
|
|
"rule-empty-line-before": null,
|
|
"unit-disallowed-list": null
|
|
}
|
|
}
|