jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/338480 )

Change subject: build: Bump stylelint and make pass
......................................................................


build: Bump stylelint and make pass

 grunt-stylelint              0.6.0  →   0.7.0
 stylelint-config-wikimedia   0.3.0  →   0.4.1

Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
---
M modules/ve-math/.stylelintrc
M package.json
2 files changed, 3 insertions(+), 12 deletions(-)

Approvals:
  MaxSem: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/ve-math/.stylelintrc b/modules/ve-math/.stylelintrc
index 87325ff..2c90730 100644
--- a/modules/ve-math/.stylelintrc
+++ b/modules/ve-math/.stylelintrc
@@ -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"
 }
diff --git a/package.json b/package.json
index 09ae647..1fb2b94 100644
--- a/package.json
+++ b/package.json
@@ -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"
   }
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/338480
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Math
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to