[MediaWiki-commits] [Gerrit] mediawiki...ProofreadPage[master]: build: Update linters

2017-11-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/394392 ) Change subject: build: Update linters .. build: Update linters Change-Id: I6d5da6c02c598f1ad0f360e551e9a3ebbf7f3085 --- M

[MediaWiki-commits] [Gerrit] mediawiki...ProofreadPage[master]: build: Update linters

2017-11-30 Thread Esanders (Code Review)
Esanders has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/394392 ) Change subject: build: Update linters .. build: Update linters Change-Id: I6d5da6c02c598f1ad0f360e551e9a3ebbf7f3085 --- M