Just removing the debug stuff from the header

diff --git a/theme/custom_corners/header.html b/theme/custom_corners/header.html
index 41c28fc4ffcf0b31570775541c6a67605a8d44ff..cd58c010bfca1ed66b9c2b56c8a9bf02d3da6fb5 100644 (file)
--- a/theme/custom_corners/header.html
+++ b/theme/custom_corners/header.html
@@ -49,12 +49,6 @@
             }
         }
     ?>
-
-    <?php
-        $infooutput = '<pre>'.'pagetype: '.$PAGE->type.
-            "\n".$bodytags.
-            '</pre>';
-    ?>
 </head>
 
 <body<?php