Translations:Manual:$wgXhtmlNamespaces/7/en

Normally we wouldn't have to define this in the root $html element, but IE needs it there in some circumstances.