diff options
| -rw-r--r-- | inc/plugincontroller.class.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index f12c0826a..707d90856 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -79,7 +79,11 @@ class Doku_Plugin_Controller { $dir = $this->get_directory($plugin); $file = $component ? "$type/$component.php" : "$type.php"; - if (!@include_once(DOKU_PLUGIN."$dir/$file")) { + if(!is_file(DOKU_PLUGIN."$dir/$file")){ + return null; + } + + if (!include_once(DOKU_PLUGIN."$dir/$file")) { return null; } |