diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index 2910e6de0af89172b8a4627157e8fc48766bef7c..632814d3c6794f51f0dc5e5ab23f9be1aee427e0 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -139,22 +139,21 @@ class Doku_Plugin_Controller { // the plugin was disabled by rc2009-01-26 // disabling mechanism was changed back very soon again // to keep everything simple we just skip the plugin completely - }elseif(@file_exists(DOKU_PLUGIN.$plugin.'/disabled')) { + } elseif (@file_exists(DOKU_PLUGIN.$plugin.'/disabled')) { // treat this as a default disabled plugin(over-rideable by the plugin manager) // deprecated 2011-09-10 (usage of disabled files) - if(empty($this->plugin_cascade['local'][$plugin])) + if (empty($this->plugin_cascade['local'][$plugin])) { $all_plugins[$plugin] = 0; - else + } else { $all_plugins[$plugin] = 1; + } $this->plugin_cascade['default'][$plugin] = 0; - } - elseif((array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 0) || - ($plugin === 'plugin' && isset($conf['pluginmanager']) && - !$conf['pluginmanager'])){ + } elseif ((array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 0) || + ($plugin === 'plugin' && isset($conf['pluginmanager']) && !$conf['pluginmanager'])){ $all_plugins[$plugin] = 0; - } elseif((array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 1)) { + } elseif ((array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 1)) { $all_plugins[$plugin] = 1; } else { $all_plugins[$plugin] = 1;