mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-30 19:16:15 +00:00
120b01696b
eslint-config-wikimedia 0.4.0 → 0.5.0 grunt 1.0.1 → 1.0.2 grunt-banana-checker 0.5.0 → 0.6.0 grunt-eslint 19.0.0 → 20.1.0 grunt-jsonlint 1.0.8 → 1.1.0 grunt-stylelint 0.6.0 → 0.9.0 stylelint 7.8.0 → 8.2.0 stylelint-config-wikimedia 0.4.1 → 0.4.2 Change-Id: Id081b31764ae923486031255cc5f24bfd6601782
8 lines
124 B
JSON
8 lines
124 B
JSON
{
|
|
"extends": "stylelint-config-wikimedia",
|
|
"rules": {
|
|
"selector-max-id": null,
|
|
"no-descending-specificity": null
|
|
}
|
|
}
|