diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2023-08-24 14:09:27 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2023-08-24 14:09:51 +0200 |
| commit | 7bbc0dcadf9ed483187267023c70883223d3f8ac (patch) | |
| tree | e5ffb0f8f5f43b1d6aee018985c23241963e0b06 | |
| parent | 5a95f2f1eb22c72654131e4fc5094d72c95e80c3 (diff) | |
| download | dokuwiki-7bbc0dcadf9ed483187267023c70883223d3f8ac.tar.gz dokuwiki-7bbc0dcadf9ed483187267023c70883223d3f8ac.zip | |
do no load disabled plugins in /bin/plugin.php
| -rwxr-xr-x | bin/plugin.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/plugin.php b/bin/plugin.php index 84a800ecb..62c2f55ee 100755 --- a/bin/plugin.php +++ b/bin/plugin.php @@ -89,6 +89,8 @@ class PluginCLI extends CLI { * @return \dokuwiki\Extension\CLIPlugin|null */ protected function loadPlugin($name) { + if(plugin_isdisabled($name)) return null; + // execute the plugin CLI $class = "cli_plugin_$name"; if(class_exists($class)) { |