From: jenkins-bot Date: Tue, 23 Feb 2016 19:54:05 +0000 (+0000) Subject: Merge "resourceloader: Remove $wgUser optimization that uses session " X-Git-Tag: 1.31.0-rc.0~7858 X-Git-Url: http://git.heureux-cyclage.org/?a=commitdiff_plain;h=bdb6d280791ea3161ed1d063ade7df5ace416276;p=lhc%2Fweb%2Fwiklou.git Merge "resourceloader: Remove $wgUser optimization that uses session " --- bdb6d280791ea3161ed1d063ade7df5ace416276