Merge "installer: Don't allow setting $wgDBmysql5"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 1 Jun 2018 21:35:49 +0000 (21:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 1 Jun 2018 21:35:50 +0000 (21:35 +0000)
commit25eb07c8f075de19a89e7521668b0fa16eb813ae
tree1b39e3fc05655dd3e2a476194a425b184e289101
parent1b4f3579017a46344a9f1857db241bc3909bb7f5
parentc9339ba552cb5f87586e7045b46519bd9db04fe0
Merge "installer: Don't allow setting $wgDBmysql5"
includes/installer/MysqlInstaller.php