Manual:$wgDocType/de

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