1 files changed, 13 insertions, 0 deletions
diff --git a/lib/htmloutputter.php b/lib/htmloutputter.php
index 095f4d478..43e4a59a9 100644
--- a/lib/htmloutputter.php
+++ b/lib/htmloutputter.php
@@ -122,6 +122,19 @@ class HTMLOutputter extends XMLOutputter
                                           'lang' => $language));
     }
 
+
+    /**
+    *  Ends an HTML document
+    *
+    *  @return void
+    */
+    function endHTML()
+    {
+        $this->elementEnd('html');
+        $this->endXML();
+    }
+
+
     /**
      * Output an HTML text input element
      *