resourceloader: Remove $wgUser optimization that uses session
authorBryan Davis <bd808@wikimedia.org>
Tue, 23 Feb 2016 17:43:01 +0000 (10:43 -0700)
committerKrinkle <krinklemail@gmail.com>
Tue, 23 Feb 2016 19:45:26 +0000 (19:45 +0000)
commit77e51f50e7ef8796fc6219e4d002fe8b3a56e14c
tree938ca5b602931800dac5d034f360059b1aa91a11
parent0e19c0483884854a7bb9c41f68249312e8413823
resourceloader: Remove $wgUser optimization that uses session

Remove optimization that avoids unstubbing $wgUser because $wgUser
is not a plain object for the current user name.

It's a stub with mFrom='session' until methods are called that need
the info, such as getName(), which then lazy loads the object based on
the session information.

We want to make load.php session-less.

Bug: T127233
Change-Id: Ica482e5d1892cb29456e6f2a91cd70017cf414c5
includes/resourceloader/ResourceLoaderContext.php