Merge "Apply $wgShellLocale in Setup.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Jun 2017 05:21:30 +0000 (05:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Jun 2017 05:21:30 +0000 (05:21 +0000)
commit23405aa9ffe7f6dda7c991d2124e6b4da0cb70df
treea364c9bd604e65f73e8da08c5a0bd02c77e51cc4
parentbceaeab1b114931e27e0147a258c992422edc9a4
parentfb6f4d35e757c502fb9358226ef366328b73d6b9
Merge "Apply $wgShellLocale in Setup.php"