diff options
Diffstat (limited to 'web/html/pkgdel.php')
| -rw-r--r-- | web/html/pkgdel.php | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/web/html/pkgdel.php b/web/html/pkgdel.php index 621c3c91..41900e40 100644 --- a/web/html/pkgdel.php +++ b/web/html/pkgdel.php @@ -10,13 +10,7 @@ check_sid(); html_header(__("Package Deletion")); -$atype = ""; - -if (isset($_COOKIE["AURSID"])) { - $atype = account_from_sid($_COOKIE["AURSID"]); -} - -if ($atype == "Trusted User" || $atype == "Developer"): ?> +if (has_credential(CRED_PKGBASE_DELETE)): ?> <div class="box"> <h2><?= __('Delete Package: %s', htmlspecialchars($pkgbase_name)) ?></h2> <p> |