[MediaWiki-commits] [Gerrit] resourceloader: Remove $wgUser optimization that uses session - change (mediawiki/core)

2016-02-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: resourceloader: Remove $wgUser optimization that uses session .. resourceloader: Remove $wgUser optimization that uses session Remove optimization that

[MediaWiki-commits] [Gerrit] resourceloader: Remove $wgUser optimization that uses session - change (mediawiki/core)

2016-02-23 Thread Code Review
Gergő Tisza has uploaded a new change for review. https://gerrit.wikimedia.org/r/272831 Change subject: resourceloader: Remove $wgUser optimization that uses session .. resourceloader: Remove $wgUser optimization that uses

[MediaWiki-commits] [Gerrit] resourceloader: Remove $wgUser optimization that uses session - change (mediawiki/core)

2016-02-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: resourceloader: Remove $wgUser optimization that uses session .. resourceloader: Remove $wgUser optimization that uses session Remove optimization that