https://www.mediawiki.org/wiki/Category:Namespace_extensions/de
Kategorie:Namensraum-Erweiterungen - MediaWiki
kategorieerweiterungenmediawiki
https://www.php.net/manual/de/userlandnaming.globalnamespace.php
PHP: Globaler Namensraum - Manual
phpmanual