Merge "Load installer i18n when running update.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Oct 2018 18:59:34 +0000 (18:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Oct 2018 18:59:34 +0000 (18:59 +0000)
commit00b8238613d1a1123e0991efe6053a03cc1c7b76
tree1ede157cbba3e1b88015de33f1a2ac50164d4a12
parent7c091e68e9e9f8dcc5c09353671566f24719009b
parenta8408122fd7982ec1f6f380288c887298ba07045
Merge "Load installer i18n when running update.php"