jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405049 )
Change subject: Removing unused citizendium from $wgRelatedSitesPrefixes...
......................................................................
Removing unused citizendium from $wgRelatedSitesPrefixes...
...and $wgExtraInterlanguageLinkPrefixes while we're at it.
It's unused and this will make de-deploying RelatedSites easier.
Bug: T185246
Change-Id: I91dda8202e8e6c0d080676f3ca5b65df9430013b
---
M wmf-config/InitialiseSettings.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
EBernhardson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 956ccab..7a56e6d 100755
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -17900,14 +17900,14 @@
'wgRelatedSitesPrefixes' => [
'default' => [],
- 'wikivoyage' => [ 'wikipedia', 'dmoz', 'citizendium', 'commons' ],
+ 'wikivoyage' => [ 'wikipedia', 'dmoz', 'commons' ],
],
'wgExtraInterlanguageLinkPrefixes' => [
'default' => [],
'wikisource' => [ 'mul' ],
'wikiversity' => [ 'mul' ],
- 'wikivoyage' => [ 'wikipedia', 'dmoz', 'citizendium', 'commons' ],
+ 'wikivoyage' => [ 'wikipedia', 'dmoz', 'commons' ],
],
'wmgExtraLanguageNames' => [
--
To view, visit https://gerrit.wikimedia.org/r/405049
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I91dda8202e8e6c0d080676f3ca5b65df9430013b
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Kaldari <rkald...@wikimedia.org>
Gerrit-Reviewer: EBernhardson <ebernhard...@wikimedia.org>
Gerrit-Reviewer: Urbanecm <martin.urba...@wikimedia.cz>
Gerrit-Reviewer: Zoranzoki21 <zorandori4...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
