[15:26:09] <wikibugs>	 (03CR) 10Jforrester: [C: 03+2] "Ideally we'd be replacing jsonlint with eslint, but this works for now." [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/543143 (owner: 10MarcoAurelio)
[15:45:58] <wikibugs>	 (03Merged) 10jenkins-bot: build: Upgrade grunt-jsonlint to 2.0.0 [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/543143 (owner: 10MarcoAurelio)