jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372761 )
Change subject: Wikibase on deployment-prep: Exclude non-existent wikis from
clientDbList
......................................................................
Wikibase on deployment-prep: Exclude non-existent wikis from clientDbList
Bug: T173571
Change-Id: Iaba18f76557717f3dc0844bfd3af491644e26eea
---
M wmf-config/Wikibase.php
1 file changed, 7 insertions(+), 0 deletions(-)
Approvals:
Niharika29: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/Wikibase.php b/wmf-config/Wikibase.php
index 566fa23..5ae5f1c 100644
--- a/wmf-config/Wikibase.php
+++ b/wmf-config/Wikibase.php
@@ -103,6 +103,13 @@
$wgWBRepoSettings['clientDbList'],
MWWikiversions::readDbListFile( $wmfRealm === 'labs' ?
'closed-labs' : 'closed' )
);
+ // Exclude non-existent wikis in labs
+ if ( $wmfRealm === 'labs' ) {
+ $wgWBRepoSettings['clientDbList'] = array_intersect(
+ $wgWBRepoSettings['clientDbList'],
+ MWWikiversions::readDbListFile( 'all-labs' )
+ );
+ }
}
$wgWBRepoSettings['localClientDatabases'] = array_combine(
--
To view, visit https://gerrit.wikimedia.org/r/372761
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaba18f76557717f3dc0844bfd3af491644e26eea
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Alex Monk <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: Niharika29 <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
