diff options
author | Christopher Smith <chris@jalakai.co.uk> | 2011-04-02 03:36:26 +0100 |
---|---|---|
committer | Christopher Smith <chris@jalakai.co.uk> | 2011-04-02 03:36:26 +0100 |
commit | efb973f8a33b893d0a4d46d6b733530833c4ad41 (patch) | |
tree | 9386f06b90a4fc6a5c31183793df17851ca0da26 /inc/plugincontroller.class.php | |
parent | 344763ad4e90e41c8a94b0a69a527ff2d6319ab5 (diff) | |
parent | a3f9f75c2624b73c4a57bf2a346ae71bf6a5fb98 (diff) | |
download | rpg-efb973f8a33b893d0a4d46d6b733530833c4ad41.tar.gz rpg-efb973f8a33b893d0a4d46d6b733530833c4ad41.tar.bz2 |
Merge branch 'master' of git@github.com:splitbrain/dokuwiki
Diffstat (limited to 'inc/plugincontroller.class.php')
-rw-r--r-- | inc/plugincontroller.class.php | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index 6e361e172..cec5c73a9 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -96,7 +96,15 @@ class Doku_Plugin_Controller { //construct class and instantiate $class = $type.'_plugin_'.$name; - if (!class_exists($class)) return null; + if (!class_exists($class)){ + # the plugin might be in the wrong directory + $inf = confToHash(DOKU_PLUGIN."$dir/plugin.info.txt"); + if($inf['base'] && $inf['base'] != $plugin){ + msg("Plugin installed incorrectly. Rename plugin directory '". + hsc($plugin)."' to '".hsc($inf['base'])."'.",-1); + } + return null; + } $DOKU_PLUGINS[$type][$name] = new $class; return $DOKU_PLUGINS[$type][$name]; |