From 0b8901c6293694c4a14eb79d5dafa9ae1dbece8f Mon Sep 17 00:00:00 2001 From: chris Date: Mon, 19 Sep 2005 18:36:18 +0200 Subject: plugin manager: remove settings button darcs-hash:20050919163618-9b6ab-1c1ccc9103bf1f82e62aba97a244bba787679e28.gz --- lib/plugins/plugin/admin.php | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'lib/plugins') diff --git a/lib/plugins/plugin/admin.php b/lib/plugins/plugin/admin.php index 9ddf39e35..d4192cf4c 100644 --- a/lib/plugins/plugin/admin.php +++ b/lib/plugins/plugin/admin.php @@ -32,7 +32,7 @@ class admin_plugin_plugin extends DokuWiki_Admin_Plugin { var $cmd = ''; var $handler = NULL; - var $functions = array('delete','update','settings','info'); // require a plugin name + var $functions = array('delete','update',/*'settings',*/'info'); // require a plugin name var $commands = array('manage','refresh','download'); // don't require a plugin name var $plugin_list = array(); @@ -204,7 +204,8 @@ class ap_manage { ptln(' '); $this->html_button('info', false, 6); - $this->html_button('settings', !@file_exists(DOKU_PLUGIN.$plugin.'/settings.php'), 6); + if (in_array('settings', $this->manager->functions)) + $this->html_button('settings', !@file_exists(DOKU_PLUGIN.$plugin.'/settings.php'), 6); $this->html_button('update', !$this->plugin_readlog($plugin, 'url'), 6); $this->html_button('delete', false, 6); -- cgit v1.2.3