[MediaWiki-commits] [Gerrit] Close wikimania2013 wiki - change (operations/mediawiki-config)

2014-06-04 Thread jenkins-bot (Code Review) 
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

[MediaWiki-commits] [Gerrit] Close wikimania2013 wiki - change (operations/mediawiki-config)

2013-12-31 Thread Odder (Code Review) 
Odder has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/104726


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(-)


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

diff --git a/closed.dblist b/closed.dblist
index e42e30d..c535244 100644
--- a/closed.dblist
+++ b/closed.dblist
@@ -114,6 +114,7 @@
 wikimania2010wiki
 wikimania2011wiki
 wikimania2012wiki
+wikimania2013wiki
 xhwikibooks
 xhwiktionary
 yowikibooks
diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index a9d3550..faa1c67 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -6459,9 +6459,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: newchange
Gerrit-Change-Id: Iab3812ac324c82b44c644f1526c4d3b15acf334b
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Odder tom...@twkozlowski.net

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