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 @@

• 1. 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.

bugs wrote:

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

• 1. 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.

bugs wrote:

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

matthew.britton wrote:

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?

bugs wrote:

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