Merge "update.php: Add option to not check if external dependencies are up to date"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 15 Feb 2015 20:44:50 +0000 (20:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 15 Feb 2015 20:44:50 +0000 (20:44 +0000)
commitc67cf1a47f7c9863712cf529d2994b4beb132c43
tree576e6b63912bcf908b7d8f0411d9ace1b10bb2c2
parent6dbbd2a38621c2c2d40aa741a76dcc1c95999643
parentdef1783b2766fc03f2f3573db736e14b8a1a309d
Merge "update.php: Add option to not check if external dependencies are up to date"