Merge "Hard deprecate wfInitShellLocale()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 Oct 2017 22:37:01 +0000 (22:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Oct 2017 22:37:02 +0000 (22:37 +0000)
commitdc0624fce0a8620bdcbf515491ac7a5755814ae4
tree8291c8e9715393a63878588bae8513ee039e3de9
parent505e7ee4039c4448e69f2f522830fb2fbf9235c4
parent31475c87b25ac8e69d5bae7a7688720fdb2145d8
Merge "Hard deprecate wfInitShellLocale()"