[MediaWiki-commits] [Gerrit] build: Configure phplint and phpcs - change (mediawiki...UserMerge)
jenkins-bot has submitted this change and it was merged. Change subject: build: Configure phplint and phpcs .. build: Configure phplint and phpcs Change-Id: I3e1008407831da136551ccee6bbcdf17109cab49 --- M .gitignore M
[MediaWiki-commits] [Gerrit] build: Configure phplint and phpcs - change (mediawiki...UserMerge)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/221350 Change subject: build: Configure phplint and phpcs .. build: Configure phplint and phpcs Change-Id: