Extension:HideNamespace

From mediawiki.org