diff options
| author | David Siegfried <david.siegfried@uni-vechta.de> | 2023-03-02 15:23:18 +0000 |
|---|---|---|
| committer | David Siegfried <david.siegfried@uni-vechta.de> | 2023-03-02 15:23:18 +0000 |
| commit | 0159593d18c8f4fccaf76f6876c8f7d6868ac520 (patch) | |
| tree | ce956f5e7e81fa79971fb2094043d83a8b83d381 /lib/plugins/engine/PluginManager.class.php | |
| parent | 0f05cd6a3b1c8e4bb954302dbbc0901e3b4d586d (diff) | |
prevent php-warnings, closes #2243
Closes #2243
Merge request studip/studip!1476
Diffstat (limited to 'lib/plugins/engine/PluginManager.class.php')
| -rw-r--r-- | lib/plugins/engine/PluginManager.class.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/engine/PluginManager.class.php b/lib/plugins/engine/PluginManager.class.php index 5873eb2..1f2d22e 100644 --- a/lib/plugins/engine/PluginManager.class.php +++ b/lib/plugins/engine/PluginManager.class.php @@ -619,7 +619,7 @@ class PluginManager */ public function getPlugins ($type, $context = null) { - $user = $GLOBALS['user'] ? $GLOBALS['user']->id : 'nobody'; + $user = isset($GLOBALS['user']) ? $GLOBALS['user']->id : 'nobody'; $plugin_info = $this->getPluginInfos($type); $plugins = []; |