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)
includes/objectcache/ObjectCache.php
includes/profiler/Profiler.php

index ae42f80..cb6249c 100644 (file)
@@ -154,7 +154,7 @@ class ObjectCache {
                        return $keyspace;
                }
 
-               return wfWikiID();
+               return WikiMap::getCurrentWikiDomain()->getId();
        }
 
        /**
index bf4ddc7..5c38159 100644 (file)
@@ -115,7 +115,7 @@ abstract class Profiler {
         */
        public function getProfileID() {
                if ( $this->profileID === false ) {
-                       return wfWikiID();
+                       return WikiMap::getCurrentWikiDomain()->getId();
                } else {
                        return $this->profileID;
                }