diff options
| -rw-r--r-- | lib/plugins/engine/PluginEngine.php | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/plugins/engine/PluginEngine.php b/lib/plugins/engine/PluginEngine.php index f6cb832..dbeeb73 100644 --- a/lib/plugins/engine/PluginEngine.php +++ b/lib/plugins/engine/PluginEngine.php @@ -59,10 +59,14 @@ class PluginEngine if ($plugin_manager->isPluginActivated($id, $context_id)) { $navigation = Navigation::getItem('/course'); $module = $plugin_manager->getPluginById($id); - $tabs = $module->getTabNavigation($context_id); - if ($navigation && $tabs) { - $navigation->addToolNavigation($id, $tabs); + if ($module) { + /** @var StudipModule $module */ + $tabs = $module->getTabNavigation($context_id); + + if ($navigation && $tabs) { + $navigation->addToolNavigation($id, $tabs); + } } } } |