add a little XML goodness to redirect

darcs-hash:20080618202500-84dde-66eeb8af0e26d9723b89831a6ba7bb82b09dbe09.gz

diff --git a/lib/util.php b/lib/util.php
index 9b4415c1765d478f255929a22f05c9ce8709798c..a0c1b5fcb0cd85f9543e29bbec5d27c1638a31d9 100644 (file)
--- a/lib/util.php
+++ b/lib/util.php
@@ -615,7 +615,12 @@ function common_redirect($url, $code=307) {
                                                   307 => "Temporary Redirect");
        header("Status: ${code} $status[$code]");
        header("Location: $url");
+       
+       common_start_xml('a',
+                                        '-//W3C//DTD XHTML 1.0 Strict//EN',
+                                        'http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd');
        common_element('a', array('href' => $url), $url);
+       common_end_xml();
 }
 
 function common_broadcast_notice($notice, $remote=false) {