Accidentally caused the DOCTYPE to never be rendered - fix that.

diff --git a/lib/htmloutputter.php b/lib/htmloutputter.php
index 8f3b1a609c11ab1a8c777afea6c83db51083cd76..5da1fbe148338d25d954a8298d6c4182aaf4c447 100644 (file)
--- a/lib/htmloutputter.php
+++ b/lib/htmloutputter.php
@@ -113,9 +113,7 @@ class HTMLOutputter extends XMLOutputter
             // Browsers don't like it when <?xml it output for non-xhtml documents
             $this->xw->startDocument('1.0', 'UTF-8');
         }
-        if ($doc) {
-            $this->xw->writeDTD('html', $public, $system);
-        }
+        $this->xw->writeDTD('html', $public, $system);
 
         $language = $this->getLanguage();