Follow up r110486, which updated doctype sent by wfHttpError()
Change-Id: I0e89420dd95edcf1ac76e3984b36f92df11cdb3f
$content = htmlspecialchars( $this->content );
}
$content = htmlspecialchars( $this->content );
}
- print "<!DOCTYPE HTML PUBLIC \"-//IETF//DTD HTML 2.0//EN\">\n".
+ print "<!DOCTYPE html>\n".
"<html><head><title>$header</title></head>\n" .
"<body><h1>$header</h1><p>$content</p></body></html>\n";
}
"<html><head><title>$header</title></head>\n" .
"<body><h1>$header</h1><p>$content</p></body></html>\n";
}