Category:NamespaceManager::editNamespace extensions

From mediawiki.org
Jump to navigation Jump to search

The NamespaceManager::editNamespace category contains pages on extensions that use the NamespaceManager::editNamespace hook.