[MediaWiki-commits] [Gerrit] integration/config[master]: php5 linter for labs/tools/ZppixBot

2016-11-10 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: php5 linter for labs/tools/ZppixBot .. php5 linter for labs/tools/ZppixBot More specific job so it does not end up being coupled with MediaWiki

[MediaWiki-commits] [Gerrit] integration/config[master]: php5 linter for labs/tools/ZppixBot

2016-11-10 Thread Hashar (Code Review)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/320853 Change subject: php5 linter for labs/tools/ZppixBot .. php5 linter for labs/tools/ZppixBot More specific job so it does not end up being