Hi,
On 07/25/2016 04:12 PM, Bryan Davis wrote:
On Mon, Jul 25, 2016 at 3:07 PM, Alex Monk krenair@gmail.com wrote:
On 25 July 2016 at 21:54, Roan Kattouw roan.kattouw@gmail.com wrote:
I think Alex is "more right" here. If you are introducing a new $wmgX var
<snip>
And to continue tooting the extension.json horn, if you're using extension.json, there shouldn't be any need for $wmg*[1] variables anymore. You can set 'wgFooBar' in InitialiseSettings.php and it'll just work, because loading through extension.json doesn't set the defaults to global scope upon loading like the old PHP entry points did, requiring the $wg = $wmg hack.
Since a lot of already-deployed extensions use the $wg = $wmg pattern, we're tracking this cleanup at https://phabricator.wikimedia.org/T119117.
[1] Okay, you'll still need the $wmgUseExtensionName variable, but that is only introduced when deploying the extension for the first time.
-- Legoktm