indent HTML

darcs-hash:20080520180750-84dde-bdf9cca691ea8386ff66a482f4d890ce9e836ca3.gz

diff --git a/lib/util.php b/lib/util.php
index 0b69b9d860c437139c5e6a7bee543479d0f2b268..58ae330a9d93cb3d654a40609fc1171c74784bb2 100644 (file)
--- a/lib/util.php
+++ b/lib/util.php
@@ -71,6 +71,7 @@ function common_show_header($pagetitle) {
        header('Content-Type: application/xhtml+xml');
        
        $xw = new XMLWriter();
+       $xw->setIndent(true);
        $xw->openURI('php://output');
        $xw->startDocument('1.0', 'UTF-8');
        $xw->writeDTD('html', '-//W3C//DTD XHTML 1.0 Strict//EN',