Manual:$wgDocType/de

Details
The doc type to use in the  declaration.