wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-23 14:07:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

stylelint: Enable selector-pseudo-element-colon-notation

Browse source 
Via stylelint --fix

Change-Id: I544aaa852df15c2b3088c65115f812e75c93f994
This commit is contained in:
Umherirrender 2023-03-30 01:00:39 +02:00
parent de3ac99e0d
commit 00595fd798
2 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.stylelintrc.json
View file

@ -1,6 +1,3 @@
{ {
"extends": "stylelint-config-wikimedia", "extends": "stylelint-config-wikimedia"
"rules": {
"selector-pseudo-element-colon-notation": null
}
} }

2
modules/pygments.wrapper.less
View file

@ -102,7 +102,7 @@
margin-left: 4px; margin-left: 4px;
} }
&:before { &::before {
content: attr( data-line ); content: attr( data-line );
} }
} }