Fix undefined variable $header in HttpError
authorMarius Hoch <hoo@online.de>
Mon, 1 Jun 2015 17:40:41 +0000 (19:40 +0200)
committerMarius Hoch <hoo@online.de>
Mon, 1 Jun 2015 17:40:41 +0000 (19:40 +0200)
Change-Id: Ie216d1959f2ea903fdbc124b718b4988e08229ae
Follows-up: I8b61d7e9ea4101e3a9ef5f9a59a97db45aeef68c

includes/exception/HttpError.php

index 21d493a..aba9176 100644 (file)
@@ -128,6 +128,6 @@ class HttpError extends MWException {
 
                return "<!DOCTYPE html>\n" .
                "<html><head><title>$titleHtml</title></head>\n" .
-               "<body><h1>$header</h1><p>$contentHtml</p></body></html>\n";
+               "<body><h1>$titleHtml</h1><p>$contentHtml</p></body></html>\n";
        }
 }