Wikimedia Bugzilla is closed!

The following patch will fix this, if it indeed needs to be fixed.

Index: SiteMatrix_body.php
===================================================================
--- SiteMatrix_body.php	(revision 24174)
+++ SiteMatrix_body.php	(working copy)
@@ -58,7 +58,7 @@
 
 		# Special wikis that should point to wikiPedia, not wikiMedia
 		$wikipediaSpecial = array(
-			'dk', 'sep11', 'sources', 'species', 'test',
+			'dk', 'sources', 'species', 'test',
 		);
 
 		# Some internal databases for other domains.

(In reply to comment #1)
> The following patch will fix this, if it indeed needs to be fixed.
> 
> Index: SiteMatrix_body.php
> ===================================================================
> --- SiteMatrix_body.php (revision 24174)
> +++ SiteMatrix_body.php (working copy)
> @@ -58,7 +58,7 @@
> 
>                 # Special wikis that should point to wikiPedia, not wikiMedia
>                 $wikipediaSpecial = array(
> -                       'dk', 'sep11', 'sources', 'species', 'test',
> +                       'dk', 'sources', 'species', 'test',
>                 );
> 
>                 # Some internal databases for other domains.
> 

Is this really needed?  The wiki no longer exists on any Wikimedia domains.  Doesn't the matrix just need to be updated?

That what this patch does, it removes sep11 from the matrix.

Patch applied with r24622 but I assume a shell user has to update $wgLocalDatabases too. Leaving the bug open.

*** Bug 11146 has been marked as a duplicate of this bug. ***

It's still listed in Special:SiteMatrix ... as is demonstrated by the duplicate bug reports.

Who are the shell users, and how does one go about contacting them?

(In reply to comment #6)
> It's still listed in Special:SiteMatrix ... as is demonstrated by the duplicate
> bug reports.
> Who are the shell users, and how does one go about contacting them?

http://meta.wikimedia.org/wiki/Developers

Fixed, I guess in combination with bug 12140.