Skip to content
Snippets Groups Projects
Commit a1eba280 authored by Gerrit Uitslag's avatar Gerrit Uitslag
Browse files

Remove support for .disable in plugin folder

Close #1323
parent 34edd8f7
No related branches found
No related tags found
No related merge requests found
...@@ -177,18 +177,6 @@ class Doku_Plugin_Controller { ...@@ -177,18 +177,6 @@ class Doku_Plugin_Controller {
// disabling mechanism was changed back very soon again // disabling mechanism was changed back very soon again
// to keep everything simple we just skip the plugin completely // to keep everything simple we just skip the plugin completely
continue; 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) || } elseif ((array_key_exists($plugin,$this->tmp_plugins) && $this->tmp_plugins[$plugin] == 0) ||
($plugin === 'plugin' && isset($conf['pluginmanager']) && !$conf['pluginmanager'])){ ($plugin === 'plugin' && isset($conf['pluginmanager']) && !$conf['pluginmanager'])){
$all_plugins[$plugin] = 0; $all_plugins[$plugin] = 0;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment