Merge "installer: Remove redundant $key variable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Mar 2019 22:38:59 +0000 (22:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Mar 2019 22:38:59 +0000 (22:38 +0000)
commita73428bb88345af4a80e5edbf1357fbc0f6054c1
tree7e77c94d4e578185840bf50bf22468655d06fe91
parentba32e133e97b0f1f6b9ddb7e3c7a9cc79d0be977
parente073c2619a075f1696dc1d38126bf3a03e817809
Merge "installer: Remove redundant $key variable"
includes/installer/Installer.php