Merge "Remove PHP < 5.3 support from maintenance/checkSyntax.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 16 Feb 2016 23:40:51 +0000 (23:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 16 Feb 2016 23:40:51 +0000 (23:40 +0000)
commit08a7ede3262a1259f0cdc74768d1f84d021cba52
tree2ece7207e112d0544c4bc7ae7818dae4dee5873f
parent554ca56fd5e76b0216c09543d447dbecd5773202
parente3debf80f2b611ad316fe9d337ca3bd242926b3d
Merge "Remove PHP < 5.3 support from maintenance/checkSyntax.php"