jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/394397 )
Change subject: build: Update linters
......................................................................
build: Update linters
Change-Id: I461330305e8c66e82decb9ffcd9859f94c17e298
---
M package.json
1 file changed, 7 insertions(+), 7 deletions(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/package.json b/package.json
index e4133b4..8a8ab96 100644
--- a/package.json
+++ b/package.json
@@ -4,14 +4,14 @@
"test": "grunt test"
},
"devDependencies": {
- "eslint-config-wikimedia": "0.4.0",
+ "eslint-config-wikimedia": "0.5.0",
"grunt": "1.0.1",
- "grunt-banana-checker": "0.5.0",
+ "grunt-banana-checker": "0.6.0",
"grunt-contrib-watch": "1.0.0",
- "grunt-eslint": "19.0.0",
- "grunt-jsonlint": "1.0.7",
- "grunt-stylelint": "0.7.0",
- "stylelint": "7.8.0",
- "stylelint-config-wikimedia": "0.4.1"
+ "grunt-eslint": "20.0.0",
+ "grunt-jsonlint": "1.1.0",
+ "grunt-stylelint": "0.9.0",
+ "stylelint": "8.2.0",
+ "stylelint-config-wikimedia": "0.4.2"
}
}
--
To view, visit https://gerrit.wikimedia.org/r/394397
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I461330305e8c66e82decb9ffcd9859f94c17e298
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Score
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
