Manual:$wgDocType/de

Details
The doc type to use in the  declaration.

This may not be taken into consideration if  is set to true.