wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-24 00:05:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Relate.../.stylelintrc.json

4 lines
45 B
JSON
Raw Permalink Normal View History

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