From 73469e9bb109dca3ae6e2a739766adc6de5c6d67 Mon Sep 17 00:00:00 2001
From: Evan Prodromou <evan@prodromou.name>
Date: Tue, 20 May 2008 14:07:50 -0400
Subject: [PATCH] indent HTML

darcs-hash:20080520180750-84dde-bdf9cca691ea8386ff66a482f4d890ce9e836ca3.gz
---
 lib/util.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/util.php b/lib/util.php
index 0b69b9d860..58ae330a9d 100644
--- 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',