[MediaWiki-commits] [Gerrit] integration/config[master]: php5 linter for labs/tools/ZppixBot
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
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