Merge "Make update.php and install.php use wfPHPVersionError() and reorganise it"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 15 Mar 2013 20:55:49 +0000 (20:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 15 Mar 2013 20:55:49 +0000 (20:55 +0000)
commit9a4bef5f14562fc3c5e72d7177a51eae914f53e0
tree0bbba300a8548bda9896e39928f84a900aac09dc
parent8a8c93ba83986d9f1dc0a371cb5198669538f621
parent32139b0ddf98ca622a2a1c930fe812a820fa5c5a
Merge "Make update.php and install.php use wfPHPVersionError() and reorganise it"
includes/PHPVersionError.php