jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/353059 )

Change subject: Correct alias(es) from es.wikisource to eo.wikisource
......................................................................


Correct alias(es) from es.wikisource to eo.wikisource

Bug: T164888
Change-Id: I9d01c1de63d4fa5eb641cffefad417f071cfd622
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Addshore: Looks good to me, approved
  jenkins-bot: Verified
  DatGuy: Looks good to me, but someone else must approve



diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 6c06e7d..5163e65 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -3278,7 +3278,7 @@
                'Vikipediisto' => NS_USER, // T24426
                'Vikipediista_diskuto' => NS_USER_TALK, // T24426
        ],
-       '+eswikisource' => [
+       '+eowikisource' => [
                'Auxtoro' => 102,
                'Auxtoro-Diskuto' => 103,
        ],

-- 
To view, visit https://gerrit.wikimedia.org/r/353059
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9d01c1de63d4fa5eb641cffefad417f071cfd622
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Zppix <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: DatGuy <[email protected]>
Gerrit-Reviewer: Zppix <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to