Merge "Remove check for PHP version in install.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 30 Jul 2014 15:47:47 +0000 (15:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 30 Jul 2014 15:47:47 +0000 (15:47 +0000)
commitaa59d1955dd2df9a3c7f125f1717102f64432da9
tree2e81c89ba4423c2ad1e909482a7e71c73cc3d4ed
parentf558da101e0bc6f0a97e6a68f200e5f24898a8b5
parenta0711d669b760e0b1e67b25b047a4a220f985c5a
Merge "Remove check for PHP version in install.php"
maintenance/install.php