From 76c65fd3be96c545da85d9b67e7674e765e92e04 Mon Sep 17 00:00:00 2001 From: Andreas Gohr Date: Sat, 25 Jul 2009 14:42:41 +0200 Subject: correctly handle disabled plugins in admin menu FS#1715 Ignore-this: b9710cae350620157381653fcf82f150 darcs-hash:20090725124241-7ad00-0d6a20412e09f8ee89f5ade512355faac5d8a245.gz --- inc/html.php | 42 ++++++++++++++++++++++++++---------------- 1 file changed, 26 insertions(+), 16 deletions(-) (limited to 'inc/html.php') diff --git a/inc/html.php b/inc/html.php index 72af8f18a..b0cffe887 100644 --- a/inc/html.php +++ b/inc/html.php @@ -1366,26 +1366,32 @@ function html_admin(){ if($INFO['isadmin']){ ptln(''); @@ -1393,14 +1399,18 @@ function html_admin(){ // Manager Tasks ptln(''); -- cgit v1.2.3