jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/377674 )
Change subject: Fix correct wiki name for wgPageLanguageUseDB on
www.wikisource.org
......................................................................
Fix correct wiki name for wgPageLanguageUseDB on www.wikisource.org
The database name for www.wikisource.org is 'sourceswiki', using
'wikisource', the change was going to be enabled on *.wikisource.org
(excepted on the multilingual wikisource).
This is a follow-up for ed35fe0711d.
Bug: T175622
Change-Id: I7638632842d5ae7b0daedd68ae6c755162f98f70
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Thcipriani: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index f6d6af3..bf460ef 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -11979,7 +11979,7 @@
'wgPageLanguageUseDB' => [
'default' => false,
- 'wikisource' => true, // T175622
+ 'sourceswiki' => true, // T175622
// overridden to true in CommonSettings for wikis using the Translate
extension
],
--
To view, visit https://gerrit.wikimedia.org/r/377674
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7638632842d5ae7b0daedd68ae6c755162f98f70
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dereckson <dereck...@espace-win.org>
Gerrit-Reviewer: Thcipriani <tcipri...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
