Merge "build: Updating mediawiki/mediawiki-codesniffer to 0.12.0"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 10 Sep 2017 23:06:47 +0000 (23:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 10 Sep 2017 23:06:47 +0000 (23:06 +0000)

Trivial merge