Just removing the debug stuff from the header

2025-04-16 14:02:32 +02:00 · 2007-05-10 05:37:52 +00:00 · 2007-05-10 05:37:52 +00:00 · ed6770129f
commit ed6770129f
parent 8df8bbfbd0
1 changed files with 0 additions and 6 deletions
--- 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