Apply $wgShellLocale in Setup.php
authorBrad Jorsch <bjorsch@wikimedia.org>
Tue, 9 May 2017 16:12:41 +0000 (12:12 -0400)
committerTim Starling <tstarling@wikimedia.org>
Thu, 1 Jun 2017 05:11:01 +0000 (15:11 +1000)
commitfb6f4d35e757c502fb9358226ef366328b73d6b9
tree55d92935f3bcb46af51b6476ebb7998ab52f9045
parentdb9d0d4117cf160843c03432095ba8246f011447
Apply $wgShellLocale in Setup.php

While most of MediaWiki ignores the shell's/C library's locale setting,
there are some things other than shell execs that use it (e.g. the
luasandbox PHP extension).

To provide a consistent environment, set the locale in Setup.php instead
of letting it be changed mid-request depending on whether something else
happened to have called certain functions.

Bug: T107128
Change-Id: I02943803d26d5b1b3ac00ef9216f69cdfa149585
RELEASE-NOTES-1.30
includes/DefaultSettings.php
includes/GlobalFunctions.php
includes/Setup.php