page: provide abort function from edit

[minimedit.git] / edit.php

diff --git a/edit.php b/edit.php
index 8f3abc5b1cf7665eb9f64b8431540a0c2a63c70b..25f9f1be5454506c137cdc85a698357380810159 100644 (file)
--- a/edit.php
+++ b/edit.php
@@ -1,12 +1,6 @@
 <?php
 ob_clean();
 
-function abort($body, $status = NULL) {
-       if ($status) header("HTTP/1.1 $status");
-       print "$body\n";
-       exit;
-}
-
 if (empty($User['admin']))
        abort("geen beheersrechten", '401 unauthorised');