jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/381529 )
Change subject: labs: Use redis lock manager for dispatching changes of Wikibase
......................................................................
labs: Use redis lock manager for dispatching changes of Wikibase
Bug: T175109
Change-Id: Ie945cf42b5009ec8e31607d04f92e2cfc6e45772
---
M wmf-config/Wikibase-labs.php
M wmf-config/Wikibase-production.php
M wmf-config/Wikibase.php
3 files changed, 3 insertions(+), 1 deletion(-)
Approvals:
Zfilipin: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/Wikibase-labs.php b/wmf-config/Wikibase-labs.php
index ff93a5b..b394ba3 100644
--- a/wmf-config/Wikibase-labs.php
+++ b/wmf-config/Wikibase-labs.php
@@ -46,6 +46,7 @@
'the Creative Commons CC0 License; text in the other namespaces
is available under ' .
'the Creative Commons Attribution-ShareAlike License;
additional terms may apply.';
$wgRightsUrl = 'creativecommons.org/licenses/by-sa/3.0';
+
}
if ( $wmgUseWikibaseClient ) {
diff --git a/wmf-config/Wikibase-production.php
b/wmf-config/Wikibase-production.php
index f7270a7..ad28c28 100644
--- a/wmf-config/Wikibase-production.php
+++ b/wmf-config/Wikibase-production.php
@@ -145,7 +145,6 @@
}
$wgWBQualityConstraintsEnableConstraintsImportFromStatements = true;
- $wgWBRepoSettings['dispatchingLockManager'] = 'redisLockManager';
$wgWBRepoSettings['writeFullEntityIdColumn'] = true;
// T112606
diff --git a/wmf-config/Wikibase.php b/wmf-config/Wikibase.php
index 4631797..cc01531 100644
--- a/wmf-config/Wikibase.php
+++ b/wmf-config/Wikibase.php
@@ -140,6 +140,8 @@
// Cirrus search will be used if useCirrus=1 parameter is set
$wgWBRepoSettings['entitySearch']['useCirrus'] = null;
}
+
+ $wgWBRepoSettings['dispatchingLockManager'] = 'redisLockManager';
}
if ( $wmgUseWikibaseClient ) {
--
To view, visit https://gerrit.wikimedia.org/r/381529
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie945cf42b5009ec8e31607d04f92e2cfc6e45772
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Ladsgroup <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: Ladsgroup <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: Zfilipin <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
