$wgOutputEncoding = "ISO-8859-1";
$wgEditEncoding = "";
$wgDocType = "-//W3C//DTD HTML 4.01 Transitional//EN";
+$wgDTD = "http://www.w3.org/TR/html4/loose.dtd";
$wgAmericanDates = false; # Enable for English module to print dates
# as eg 'May 12' instead of '12 May'
$wgLocalInterwiki = "w";
/* private */ function headElement()
{
- global $wgDocType, $wgUser, $wgLanguageCode, $wgOutputEncoding;
+ global $wgDocType, $wgDTD, $wgUser, $wgLanguageCode, $wgOutputEncoding;
- $ret = "<!DOCTYPE HTML PUBLIC \"$wgDocType\">\n";
+ $ret = "<!DOCTYPE HTML PUBLIC \"$wgDocType\" \"$wgDTD\">\n";
if ( "" == $this->mHTMLtitle ) {
$this->mHTMLtitle = $this->mPagetitle;