mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki
synced 2024-11-15 18:40:00 +00:00
4fa864ee2e
grunt 1.0.1 → 1.0.2 grunt-banana-checker 0.4.0 → 0.6.0 grunt-contrib-jshint 0.11.3 → 1.1.0 grunt-jscs 2.1.0 → 2.3.0 grunt-jsonlint 1.0.7 → 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: I58d76a02b5b6ce524f9261880340377120e01203
7 lines
87 B
JSON
7 lines
87 B
JSON
{
|
|
"extends": "stylelint-config-wikimedia",
|
|
"rules": {
|
|
"selector-max-id": null
|
|
}
|
|
}
|