mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-24 07:34:22 +00:00
Merge "build: Bump stylelint and make pass"
This commit is contained in:
commit
74be597efb
|
@ -1,12 +1,3 @@
|
|||
{
|
||||
"extends": "stylelint-config-wikimedia",
|
||||
"rules": {
|
||||
"no-browser-hacks": [ true, {
|
||||
"browsers": [ ">5%", "Chrome >= 1", "Firefox >= 15", "Explorer >= 9", "Edge >= 1", "iOS >= 7", "Opera >= 12", "Safari >= 7", "ExplorerMobile >= 10", "Android >= 3", "not BlackBerry >= 1", "ChromeAndroid >= 1", "FirefoxAndroid >= 1", "OperaMobile >= 12", "not OperaMini >= 1" ]
|
||||
} ],
|
||||
|
||||
"no-unsupported-browser-features": [ true, {
|
||||
"browsers": [ ">5%", "Chrome >= 1", "Firefox >= 15", "Explorer >= 9", "Edge >= 12", "iOS >= 7", "Opera >= 12", "Safari >= 7", "ExplorerMobile >= 10", "Android >= 4", "not BlackBerry >= 1", "ChromeAndroid >= 1", "FirefoxAndroid >= 1", "OperaMobile >= 12", "not OperaMini >= 1" ]
|
||||
} ],
|
||||
}
|
||||
"extends": "stylelint-config-wikimedia"
|
||||
}
|
||||
|
|
|
@ -10,7 +10,7 @@
|
|||
"grunt-contrib-watch": "1.0.0",
|
||||
"grunt-eslint": "19.0.0",
|
||||
"grunt-jsonlint": "1.0.7",
|
||||
"grunt-stylelint": "0.6.0",
|
||||
"stylelint-config-wikimedia": "0.3.0"
|
||||
"grunt-stylelint": "0.7.0",
|
||||
"stylelint-config-wikimedia": "0.4.1"
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue