aboutsummaryrefslogtreecommitdiff
path: root/lib/plugins/engine/PluginManager.class.php
diff options
context:
space:
mode:
authorDavid Siegfried <david.siegfried@uni-vechta.de>2023-03-11 15:49:58 +0000
committerJan-Hendrik Willms <tleilax+studip@gmail.com>2023-03-11 15:49:58 +0000
commit2a39ccfc3d586c37fd795eb090ecd39012e1e80a (patch)
tree6bba7a0bba97041d2b08a277f8d368ec97be87e3 /lib/plugins/engine/PluginManager.class.php
parent2ffa7291ea24eb1f8cc710e45e30f2f0b411636f (diff)
prevent php-warnings, closes #2355
Closes #2355 Merge request studip/studip!1539
Diffstat (limited to 'lib/plugins/engine/PluginManager.class.php')
-rw-r--r--lib/plugins/engine/PluginManager.class.php5
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) {