<?php
+
+// XXX permision check?
+
function debugging() {
-if ($_SESSION['debugging']) unset($_SESSION['debugging']);
-else $_SESSION['debugging']=true;
+ if ($_SESSION['debugging']) unset($_SESSION['debugging']);
+ else $_SESSION['debugging']=true;
}
+
?>