diff -r 4bb20dddef00 -r 1e61232606d6 plugins/SpecialAdmin.php --- a/plugins/SpecialAdmin.php Wed Jun 13 19:53:18 2007 -0400 +++ b/plugins/SpecialAdmin.php Sat Jun 16 18:47:06 2007 -0400 @@ -505,24 +505,35 @@ return; } - - if(isset($_GET['action'])) { - switch($_GET['action']) { + if(isset($_GET['action'])) + { + switch($_GET['action']) + { case "enable": setConfig('plugin_'.$_GET['plugin'], '1'); break; case "disable": - if($_GET['plugin']!='admin.php') setConfig('plugin_'.$_GET['plugin'], '0'); - else echo('
The administration panel plugin cannot be disabled.
'); + if ( $_GET['plugin'] != 'SpecialAdmin.php' ) + { + setConfig('plugin_'.$_GET['plugin'], '0'); + } + else + { + echo('The administration panel plugin cannot be disabled.
'); + } break; } } $dir = './plugins/'; $plugin_list = Array(); $system = Array(); - if (is_dir($dir)) { - if ($dh = opendir($dir)) { - while (($file = readdir($dh)) !== false) { + + if (is_dir($dir)) + { + if ($dh = opendir($dir)) + { + while (($file = readdir($dh)) !== false) + { if(preg_match('#^(.*?)\.php$#is', $file) && $file != 'index.php') { if ( in_array($file, $plugins->system_plugins) ) @@ -554,6 +565,16 @@ } closedir($dh); } + else + { + echo 'Plugin filename | Plugin name | Description | Author | Version |
---|