Extension:NamespaceProtection

From mediawiki.org