jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/338376 )
Change subject: build: Drop two deprecated stylelint options
......................................................................
build: Drop two deprecated stylelint options
Change-Id: I6b575f24f82884be3c102853ebec178952df5161
---
M .stylelintrc
1 file changed, 1 insertion(+), 10 deletions(-)
Approvals:
jenkins-bot: Verified
VolkerE: Looks good to me, approved
diff --git a/.stylelintrc b/.stylelintrc
index 905b08c..2c90730 100644
--- a/.stylelintrc
+++ b/.stylelintrc
@@ -1,12 +1,3 @@
{
- "extends": "stylelint-config-wikimedia",
- "rules": {
- "no-browser-hacks": [ true, {
- "browsers": [ "Chrome >= 1", "Firefox >= 12", "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" ]
- } ],
-
- "no-unsupported-browser-features": [ true, {
- "browsers": [ "Chrome >= 1", "Firefox >= 12", "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"
}
--
To view, visit https://gerrit.wikimedia.org/r/338376
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6b575f24f82884be3c102853ebec178952df5161
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
