[MediaWiki-commits] [Gerrit] mediawiki...codesniffer[master]: PHP CodeSniffer on CI should only lint HEAD

2017-07-05 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/358554 ) Change subject: PHP CodeSniffer on CI should only lint HEAD .. PHP CodeSniffer on CI should only lint HEAD The Jenkins job

[MediaWiki-commits] [Gerrit] mediawiki...codesniffer[master]: PHP CodeSniffer on CI should only lint HEAD

2017-06-13 Thread Hashar (Code Review)
Hashar has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/358554 ) Change subject: PHP CodeSniffer on CI should only lint HEAD .. PHP CodeSniffer on CI should only lint HEAD The Jenkins job