Category:NamespaceIsMovable extensions/de