Merge "install.php: Allow extensions and skins to be specified"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Oct 2018 05:34:33 +0000 (05:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Oct 2018 05:34:33 +0000 (05:34 +0000)
commitc69bf3bc87bacc84da42f95781e950e4bc9d48d1
tree0bffa6b3cef9634d4242b8cd998162d2294bd3bf
parente1bd023aecf5f682e6da6f9a893d4d2c8ac57fe7
parent5e9ada58821e7e54fed9fed5dd2b1e7968967067
Merge "install.php: Allow extensions and skins to be specified"