diff --git a/lib/plugins/engine/PluginManager.class.php b/lib/plugins/engine/PluginManager.class.php index 1f2d22ea31b32e1e39304041708aba6ba2de138a..86305a188c733ae718dc31c5c95ab774b5316c1b 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) {