jenkins-bot has submitted this change and it was merged.
Change subject: Close wikimania2013 wiki
......................................................................
Close wikimania2013 wiki
This patch closes the wikimania2013 wiki; it adds it
to closed.dblist and removes unneccessary code from
groupOverrides.
Goodbye, wikimania2013wiki.
Bug: 59157
Change-Id: Iab3812ac324c82b44c644f1526c4d3b15acf334b
---
M closed.dblist
M wmf-config/InitialiseSettings.php
2 files changed, 1 insertion(+), 3 deletions(-)
Approvals:
Manybubbles: Looks good to me, approved
jenkins-bot: Verified
Objections:
Reedy: There's a problem with this change, please improve
diff --git a/closed.dblist b/closed.dblist
index 307c53a..c29d5e7 100644
--- a/closed.dblist
+++ b/closed.dblist
@@ -115,6 +115,7 @@
wikimania2010wiki
wikimania2011wiki
wikimania2012wiki
+wikimania2013wiki
xhwikibooks
xhwiktionary
yowikibooks
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 61d72d0..9e81b6c 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -6473,9 +6473,6 @@
// for show only
),
),
- 'wikimania2013wiki' => array(
- '*' => array( 'createpage' => false ),
- ),
'wikimania2014wiki' => array(
'*' => array( 'createpage' => false ),
),
--
To view, visit https://gerrit.wikimedia.org/r/104726
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iab3812ac324c82b44c644f1526c4d3b15acf334b
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Odder <twkozlow...@gmail.com>
Gerrit-Reviewer: Anomie <bjor...@wikimedia.org>
Gerrit-Reviewer: Liuxinyu970226 <541329...@qq.com>
Gerrit-Reviewer: Manybubbles <never...@wikimedia.org>
Gerrit-Reviewer: Odder <twkozlow...@gmail.com>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Thehelpfulone <thehelpfulonew...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
