wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-23 22:13:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse source 
Via stylelint --fix

Change-Id: Iaab547047a2611b177914e25baa826ef6ea39370
This commit is contained in:
Umherirrender 2023-03-30 00:33:43 +02:00
parent c38b6f9c16
commit 8b95a7cdb8
2 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.stylelintrc.json
View file

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

2
modules/interwiki.css
View file

@ -40,7 +40,7 @@ input#mw-interwiki-url {
white-space: nowrap; white-space: nowrap;
} }
.mw-interwiki-legend th:before, .mw-interwiki-legend th::before,
.mw-interwiki-legend .mw-collapsible-toggle { .mw-interwiki-legend .mw-collapsible-toggle {
font-weight: normal !important; /* stylelint-disable-line declaration-no-important */ font-weight: normal !important; /* stylelint-disable-line declaration-no-important */
} }