jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/402383 )
Change subject: Remove unused changesDatabase property from SqlStore
......................................................................
Remove unused changesDatabase property from SqlStore
Change-Id: Ida96506469b838e4f535898689732f4721b094dc
---
M repo/includes/Store/Sql/SqlStore.php
1 file changed, 0 insertions(+), 6 deletions(-)
Approvals:
WMDE-leszek: Looks good to me, approved
jenkins-bot: Verified
Thiemo Kreuz (WMDE): Looks good to me, approved
diff --git a/repo/includes/Store/Sql/SqlStore.php
b/repo/includes/Store/Sql/SqlStore.php
index 45313f0..2daaf75 100644
--- a/repo/includes/Store/Sql/SqlStore.php
+++ b/repo/includes/Store/Sql/SqlStore.php
@@ -120,11 +120,6 @@
private $propertyInfoTable = null;
/**
- * @var string|bool false for local, or a database id that wfGetLB
understands.
- */
- private $changesDatabase;
-
- /**
* @var TermIndex|null
*/
private $termIndex = null;
@@ -212,7 +207,6 @@
//TODO: inject settings
$settings = WikibaseRepo::getDefaultInstance()->getSettings();
- $this->changesDatabase = $settings->getSetting(
'changesDatabase' );
$this->cacheKeyPrefix = $settings->getSetting(
'sharedCacheKeyPrefix' );
$this->cacheType = $settings->getSetting( 'sharedCacheType' );
$this->cacheDuration = $settings->getSetting(
'sharedCacheDuration' );
--
To view, visit https://gerrit.wikimedia.org/r/402383
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ida96506469b838e4f535898689732f4721b094dc
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: WMDE-leszek <[email protected]>
Gerrit-Reviewer: Thiemo Kreuz (WMDE) <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
