diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index 43a0788a7f778662257637e4635df71a75189135..61c8811ce73f0f091fd1c0522aac55161106b4d4 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -172,8 +172,7 @@ class Doku_Plugin_Controller { if ($plugin[0] == '.') continue; // skip hidden entries if (is_file(DOKU_PLUGIN.$plugin)) continue; // skip files, we're only interested in directories - if ((array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 0) || - ($plugin === 'plugin' && isset($conf['pluginmanager']) && !$conf['pluginmanager'])){ + if (array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 0){ $all_plugins[$plugin] = 0; } elseif ((array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 1)) {