Merge "Remove obsolete ignored path from maintenance/checkSyntax.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 17 Feb 2016 02:13:45 +0000 (02:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 17 Feb 2016 02:13:45 +0000 (02:13 +0000)
commitc45be249965cc0a6740b0ee7b805cb3f4fafba1f
treeddddfadc11bf74b59401ea847a09bde822e68cf9
parentebdd92fcd1c4bbfd08bfa6d01fce6158a5a48fdd
parent36797512ce8cc3a4a1ebb624b4f7e6b27c6aa178
Merge "Remove obsolete ignored path from maintenance/checkSyntax.php"