Merge "installer: Restore PHP 5.3 compatibility in index.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 11 Dec 2016 21:44:43 +0000 (21:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 11 Dec 2016 21:44:43 +0000 (21:44 +0000)
commitc35e848f2d9d337dec92e2690d42cdea388af803
tree46b7866507cff4d18da705f54d8878b593d00e04
parent60f5519772175b90ecc813740c3df947bcf63d13
parentae6ba47c6da8d930dbbd27098a75c04650e3c4ce
Merge "installer: Restore PHP 5.3 compatibility in index.php"