Merge "User: Migrate from foreign cache to global cache for UserRightsProxy"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 2 Nov 2015 23:51:52 +0000 (23:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 2 Nov 2015 23:51:52 +0000 (23:51 +0000)
commitf6f98695343a8db06ea6062e04d59ffb3c2480b2
tree923773387822a7d62db1a152785ef974ee7762bd
parentdad19d999cf5cc249dacd390a775ef2f56649b86
parentb3acd4fb5d1263de5735c714a11f7a170777d1f1
Merge "User: Migrate from foreign cache to global cache for UserRightsProxy"
includes/objectcache/ObjectCache.php