[MediaWiki-commits] [Gerrit] fix reference to WikibaseRepo in client - change (mediawiki...Wikibase)

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged.

Change subject: fix reference to WikibaseRepo in client
......................................................................


fix reference to WikibaseRepo in client

Change-Id: Ie0242d804143991ab3eb02bac52a50567fd10f00
---
M client/includes/store/sql/DirectSqlStore.php
1 file changed, 3 insertions(+), 3 deletions(-)

Approvals:
  Hoo man: Looks good to me, approved
  WikidataJenkins: Verified
  jenkins-bot: Verified



diff --git a/client/includes/store/sql/DirectSqlStore.php 
b/client/includes/store/sql/DirectSqlStore.php
index eb74c22..2381681 100644
--- a/client/includes/store/sql/DirectSqlStore.php
+++ b/client/includes/store/sql/DirectSqlStore.php
@@ -5,7 +5,7 @@
 use Language;
 use Site;
 use ObjectCache;
-use Wikibase\Repo\WikibaseRepo;
+use Wikibase\Client\WikibaseClient;
 
 /**
  * Implementation of the client store interface using direct access to the 
repository's
@@ -87,7 +87,7 @@
                $this->repoWiki = $repoWiki;
                $this->language = $wikiLanguage;
 
-               $settings = WikibaseRepo::getDefaultInstance()->getSettings();
+               $settings = WikibaseClient::getDefaultInstance()->getSettings();
                $cachePrefix = $settings->getSetting( 'sharedCacheKeyPrefix' );
                $cacheDuration = $settings->getSetting( 'sharedCacheDuration' );
                $cacheType = $settings->getSetting( 'sharedCacheType' );
@@ -313,7 +313,7 @@
         * @return PropertyInfoTable
         */
        protected function newPropertyInfoTable() {
-               $usePropertyInfoTable = WikibaseRepo::getDefaultInstance()
+               $usePropertyInfoTable = WikibaseClient::getDefaultInstance()
                        ->getSettings()->getSetting( 'usePropertyInfoTable' );
 
                if ( $usePropertyInfoTable ) {

-- 
To view, visit https://gerrit.wikimedia.org/r/115353
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie0242d804143991ab3eb02bac52a50567fd10f00
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Aude <aude.w...@gmail.com>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Hoo man <h...@online.de>
Gerrit-Reviewer: WikidataJenkins <wikidata-servi...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits