consistently use empty() to check user existence

[minimedit.git] / edit.php

diff --git a/edit.php b/edit.php
index 9ba0d04c02c34d2265851839eedd045cdcbfba95..4e51097c68a4acc599658ac9b0d172325da8507f 100644 (file)
--- a/edit.php
+++ b/edit.php
@@ -7,7 +7,7 @@ function abort($body, $status = NULL) {
        exit;
 }
 
-if (!@$User['admin'])
+if (empty($User['admin']))
        abort("geen beheersrechten", '401 unauthorised');
 
 if ($_FILES) {