Merge "Use new WikiMap::getCurrentWikiDomain() for objectcache and profiler keyspace"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Oct 2018 07:08:27 +0000 (07:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Oct 2018 07:08:27 +0000 (07:08 +0000)
commit988af574cb66f560f37feb2700a514a2287d445f
treec3fd6634e639ca8a815f40074455268e56909eb9
parentac0ab2c03a12756b0965f250c174e228348ec459
parent42a6f991e0a8b1f0516c1151cdd9f8a5eabc319a
Merge "Use new WikiMap::getCurrentWikiDomain() for objectcache and profiler keyspace"
includes/objectcache/ObjectCache.php