Translations:Manual:$wgXhtmlDefaultNamespace/5/en

This is the $xmlns attribute on the root $html element.