jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/338497 )
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 package.json
M resources/css/ext.uls.pt.less
2 files changed, 4 insertions(+), 2 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/package.json b/package.json
index 369d09c..a2a0960 100644
--- a/package.json
+++ b/package.json
@@ -9,7 +9,7 @@
"grunt-banana-checker": "0.5.0",
"grunt-eslint": "19.0.0",
"grunt-jsonlint": "1.1.0",
- "grunt-stylelint": "0.6.0",
- "stylelint-config-wikimedia": "0.3.0"
+ "grunt-stylelint": "0.7.0",
+ "stylelint-config-wikimedia": "0.4.1"
}
}
diff --git a/resources/css/ext.uls.pt.less b/resources/css/ext.uls.pt.less
index 05982b1..f6734e0 100644
--- a/resources/css/ext.uls.pt.less
+++ b/resources/css/ext.uls.pt.less
@@ -26,11 +26,13 @@
/* Opera for some inexplicable reason confuses right and left padding with */
/* RTL text direction here (bug T47142). x:-o-prefocus won't match anything, */
/* but will make other browsers ignore this rule. */
+/* stylelint-disable selector-type-no-unknown */
x:-o-prefocus,
body.rtl li#pt-uls {
/* @noflip */
direction: ltr;
}
+/* stylelint-enable selector-type-no-unknown */
/* Don't show it to users who disabled JS */
.client-nojs #pt-uls {
--
To view, visit https://gerrit.wikimedia.org/r/338497
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UniversalLanguageSelector
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
