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

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/page/ext.proofreadpage.page.navigation.vector.css
M package.json
2 files changed, 3 insertions(+), 3 deletions(-)

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



diff --git a/modules/page/ext.proofreadpage.page.navigation.vector.css 
b/modules/page/ext.proofreadpage.page.navigation.vector.css
index a469376..3c3172d 100644
--- a/modules/page/ext.proofreadpage.page.navigation.vector.css
+++ b/modules/page/ext.proofreadpage.page.navigation.vector.css
@@ -4,7 +4,7 @@
 .prp-tabs #ca-proofreadPageIndexLink.icon a {
        margin: 0;
        padding: 0;
-       outline: none;
+       outline: 0;
        display: block;
        width: 26px;
        /* This hides the text but shows the background image */
diff --git a/package.json b/package.json
index d29dbcc..b2a9718 100644
--- a/package.json
+++ b/package.json
@@ -9,7 +9,7 @@
     "grunt-contrib-jshint": "1.0.0",
     "grunt-jscs": "2.8.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/338492
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ProofreadPage
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