jenkins-bot has submitted this change and it was merged.
Change subject: build: Bump various CI devDependencies to latest
......................................................................
build: Bump various CI devDependencies to latest
grunt-jsonlint 1.0.7 → 1.1.0
grunt-stylelint 0.3.0 → 0.6.0
stylelint-config-wikimedia 0.2.0 → 0.3.0
Change-Id: Ie8bc2977bb072277f951292096f6a6a14d4f856d
---
M package.json
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
JGirault: Looks good to me, approved
jenkins-bot: Verified
diff --git a/package.json b/package.json
index 4cff7d9..c21c7b2 100644
--- a/package.json
+++ b/package.json
@@ -15,11 +15,11 @@
"grunt-contrib-jshint": "1.0.0",
"grunt-contrib-watch": "1.0.0",
"grunt-jscs": "2.8.0",
- "grunt-jsonlint": "1.0.7",
- "grunt-stylelint": "0.3.0",
+ "grunt-jsonlint": "1.1.0",
+ "grunt-stylelint": "0.6.0",
"mapbox.js": "^2.3.0",
"prunecluster": "^2.0.0-beta.3",
- "stylelint-config-wikimedia": "0.2.0"
+ "stylelint-config-wikimedia": "0.3.0"
},
"dependencies": {
"leaflet": "^0.7.7",
--
To view, visit https://gerrit.wikimedia.org/r/303596
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie8bc2977bb072277f951292096f6a6a14d4f856d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Kartographer
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: JGirault <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: Yurik <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
