diff options
Diffstat (limited to 'lib/plugins/plugin/admin.php')
| -rw-r--r-- | lib/plugins/plugin/admin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/plugin/admin.php b/lib/plugins/plugin/admin.php index 03efae3bf..643754771 100644 --- a/lib/plugins/plugin/admin.php +++ b/lib/plugins/plugin/admin.php @@ -723,7 +723,7 @@ class ap_manage { $path = DOKU_PLUGIN.$plugin.'/'; foreach ($plugin_types as $type) { - if (file_exists($path.$type.'.php')) { $components[] = array('name'=>$plugin, 'type'=>$type); continue; } + if (@file_exists($path.$type.'.php')) { $components[] = array('name'=>$plugin, 'type'=>$type); continue; } if ($dh = @opendir($path.$type.'/')) { while (false !== ($cp = readdir($dh))) { |