From cc462467090670d26f2192da1f6d8f7c43b134fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luca=20B=C3=B6sch?= <luca.boesch@bfh.ch>
Date: Mon, 5 Jun 2023 16:53:54 +0200
Subject: [PATCH] Fix Attempt to assign property "custommenuitems" on null
 error.

---
 local/mymedia/lib.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/local/mymedia/lib.php b/local/mymedia/lib.php
index 2722f202..79169188 100644
--- a/local/mymedia/lib.php
+++ b/local/mymedia/lib.php
@@ -74,5 +74,7 @@ function local_mymedia_extend_navigation($navigation) {
     }
 
     $myMediaStr = "\n$menuHeaderStr|/local/mymedia/mymedia.php";
-    $CFG->custommenuitems .= $myMediaStr;
+    if (empty($custommenuitems) && (isset($CFG->custommenuitems) && !empty($CFG->custommenuitems))) {
+        $CFG->custommenuitems .= $myMediaStr;
+    }
 }