Merge "resourceloader: Remove $wgUser optimization that uses session "
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 Feb 2016 19:54:05 +0000 (19:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 Feb 2016 19:54:05 +0000 (19:54 +0000)
commitbdb6d280791ea3161ed1d063ade7df5ace416276
treec1df94eff4b9b4feb8a7eb444d9d9de064f11608
parent517e327a3ffaf48bb15407573cc0c813c5a90e5c
parent77e51f50e7ef8796fc6219e4d002fe8b3a56e14c
Merge "resourceloader: Remove $wgUser optimization that uses session "