Merge "update html DOCTYPE sent by HttpError exception"
authorDemon <chadh@wikimedia.org>
Fri, 20 Apr 2012 13:52:54 +0000 (13:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Apr 2012 13:52:54 +0000 (13:52 +0000)
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";
        }