This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Interwiki
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Interwiki
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki
synced
2024-12-03 10:26:43 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
0c90f1fe35
mediawiki-extensions-Interwiki
/
.stylelintrc.json
7 lines
87 B
JSON
Raw
Normal View
History
Unescape
Escape
Add stylelint for css files Change-Id: Ic89e5094fc2d7b472641a9b593d9f84876893d35
2017-04-17 20:15:03 +00:00
{
"extends"
:
"stylelint-config-wikimedia"
,
"rules"
:
{
stylelint: Enable selector-pseudo-element-colon-notation Via stylelint --fix Change-Id: Iaab547047a2611b177914e25baa826ef6ea39370
2023-03-29 22:33:43 +00:00
"selector-max-id"
:
null
Add stylelint for css files Change-Id: Ic89e5094fc2d7b472641a9b593d9f84876893d35
2017-04-17 20:15:03 +00:00
}
}
Reference in a new issue
Copy permalink