Translations:Manual:$wgDocType/5/de

Diese Einstellung legt den Dokumenttyp fest, der für die $DOCTYPE-Angabe auf allen Wikiseiten verwendet wird.