[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Fix correct wiki name for wgPageLanguageUseDB on www.wikisou...

2017-09-12 Thread jenkins-bot (Code Review) 
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 
Gerrit-Reviewer: Thcipriani 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Fix correct wiki name for wgPageLanguageUseDB on www.wikisou...

2017-09-12 Thread Dereckson (Code Review) 
Dereckson has uploaded a new change for review. ( 
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(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/74/377674/1

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: newchange
Gerrit-Change-Id: I7638632842d5ae7b0daedd68ae6c755162f98f70
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dereckson 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits