The SearchableNamespaces hook http://www.mediawiki.org/wiki/Manual:Hooks/SearchableNamespaces requires double work:

array(

NS_MAIN => 'Haupt',
NS_USER => 'Benutzer',
...
NS_CUSTOM => 'Custom',
...

}

That's redicilus. Better would be array(0, 1, ..., 100, ...)

Version: unspecified
Severity: enhancement