diff options
| -rw-r--r-- | inc/Extension/PluginController.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/Extension/PluginController.php b/inc/Extension/PluginController.php index 5f4dc4d0d..4b77e1b42 100644 --- a/inc/Extension/PluginController.php +++ b/inc/Extension/PluginController.php @@ -107,7 +107,7 @@ class PluginController if (!class_exists($class, true)) { # the plugin might be in the wrong directory $inf = confToHash(DOKU_PLUGIN . "$plugin/plugin.info.txt"); - if ($inf['base'] && $inf['base'] != $plugin) { + if (isset($inf['base']) && $inf['base'] != $plugin) { msg( sprintf( "Plugin installed incorrectly. Rename plugin directory '%s' to '%s'.", |