X-Git-Url: http://git.shiar.net/minimedit.git/blobdiff_plain/73246f5bb2c7560d91275f48d9bcc24729f7b9f1..b06e0695bbf6a9710ed53eefb941134812a3ff27:/edit.php

diff --git a/edit.php b/edit.php
index 8f3abc5..25f9f1b 100644
--- 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');