update html DOCTYPE sent by HttpError exception
authorAntoine Musso <hashar@free.fr>
Fri, 20 Apr 2012 12:55:23 +0000 (14:55 +0200)
committerAntoine Musso <hashar@free.fr>
Fri, 20 Apr 2012 12:55:23 +0000 (14:55 +0200)
Follow up r110486, which updated doctype sent by wfHttpError()

Change-Id: I0e89420dd95edcf1ac76e3984b36f92df11cdb3f

includes/Exception.php

index c75da5a..2d1772b 100644 (file)
@@ -461,7 +461,7 @@ class HttpError extends MWException {
                        $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";
        }