This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-RelatedArticles
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-RelatedArticles
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles
synced
2024-12-02 11:57:09 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
8158768193
mediawiki-extensions-Relate...
/
.stylelintrc.json
4 lines
45 B
JSON
Raw
Normal View
History
Unescape
Escape
Add stylelint for less files Fixed the following rules: string-quotes declaration-property-value-blacklist number-leading-zero Change-Id: I7c8021070b69cd60ac010e90b3bc13a033d695e2
2017-04-18 14:25:19 +00:00
{
build: Update 'stylelint-config-wikimedia' to v0.5.0 and make pass Also enabling 'no-descending-specificity' rule and the same time simplify VE hidden rule. Change-Id: Idad811e7fca681883fccbc961c70f49e2b356c02
2019-01-17 03:26:36 +00:00
"extends"
:
"stylelint-config-wikimedia"
Add stylelint for less files Fixed the following rules: string-quotes declaration-property-value-blacklist number-leading-zero Change-Id: I7c8021070b69cd60ac010e90b3bc13a033d695e2
2017-04-18 14:25:19 +00:00
}
Reference in a new issue
Copy permalink