Merge "Several tweaks to the install.php script"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 11 May 2014 09:04:48 +0000 (09:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 11 May 2014 09:04:48 +0000 (09:04 +0000)
commit45a985652080214aadd4ee0fcfdee5af64c148f1
tree314448df34e749ee7d16598bc045ac64f0ca32c8
parent2527cca6de0be7c146369288b373008ad69cc3de
parentaf724895e32414d3011b3af46c2c88b967e4c405
Merge "Several tweaks to the install.php script"