Merge "Remove maintenance/checkSyntax.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Oct 2017 06:58:19 +0000 (06:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Oct 2017 06:58:19 +0000 (06:58 +0000)
commit439b819faf168c67b7381083c244a5d5610f85bb
treefa36068e3db66ed2245a75d00975a5c0a10b57b8
parent75b96445dd7da61bb9013512d472fcd47338d31b
parent0ca822a3201dc280e2b9176d10c61d75a16f844a
Merge "Remove maintenance/checkSyntax.php"