$wgDocType: Difference between revisions