Manual:$wgExtraNamespaces/de-formal

Details
configures additional, custom namespaces for a wiki. It can also be used to rename the default namespaces.

This is covered in detail in.

Extensions should not use this setting, instead they should use the hook or load the namespace through.