diff options
| -rw-r--r-- | inc/plugincontroller.class.php | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index 8d20f885d..294ce2687 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -177,18 +177,6 @@ class Doku_Plugin_Controller { // disabling mechanism was changed back very soon again // to keep everything simple we just skip the plugin completely continue; - } 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])) { - $all_plugins[$plugin] = 0; - } 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'])){ $all_plugins[$plugin] = 0; |