$wgDocType