Manual:$wgDocType/de-formal

Details
The doc type to use in the  declaration.