jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/338493 )
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/ext.RevisionSlider.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/ext.RevisionSlider.css b/modules/ext.RevisionSlider.css
index 085c838..4be6066 100644
--- a/modules/ext.RevisionSlider.css
+++ b/modules/ext.RevisionSlider.css
@@ -361,7 +361,7 @@
height: 17px;
}
-.mw-revslider-pointer-newer .mw-revslider-pointer-line-upper {
+.mw-revslider-pointer-newer .mw-revslider-pointer-line-upper {
height: 71px;
}
diff --git a/package.json b/package.json
index 84b5fd4..83e2afb 100644
--- a/package.json
+++ b/package.json
@@ -17,7 +17,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"
}
}
--
To view, visit https://gerrit.wikimedia.org/r/338493
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RevisionSlider
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
