diff options
Diffstat (limited to 'lib/plugins/engine/PluginManager.class.php')
| -rw-r--r-- | lib/plugins/engine/PluginManager.class.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/plugins/engine/PluginManager.class.php b/lib/plugins/engine/PluginManager.class.php index 1f2d22e..86305a1 100644 --- a/lib/plugins/engine/PluginManager.class.php +++ b/lib/plugins/engine/PluginManager.class.php @@ -649,7 +649,10 @@ class PluginManager */ public function getPluginManifest($plugindir) { - $manifest = @file($plugindir . '/plugin.manifest'); + if (!file_exists($plugindir . '/plugin.manifest')) { + return null; + } + $manifest = file($plugindir . '/plugin.manifest'); $result = []; if ($manifest === false) { |
