From 1e707178d10150dbaff5c7555342ec12fb097cef Mon Sep 17 00:00:00 2001
From: Jan-Hendrik Willms <tleilax+studip@gmail.com>
Date: Mon, 16 Dec 2024 09:32:29 +0100
Subject: [PATCH] fix error on settings notification page, re #155

---
 app/controllers/settings/notification.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/controllers/settings/notification.php b/app/controllers/settings/notification.php
index e3efb7b883d..a5aa276c37f 100644
--- a/app/controllers/settings/notification.php
+++ b/app/controllers/settings/notification.php
@@ -37,7 +37,7 @@ class Settings_NotificationController extends Settings_SettingsController
             throw new AccessDeniedException($message);
         }
 
-        if (!$GLOBALS['auth']->is_authenticated() || $GLOBALS['perm']->have_perm('admin')) {
+        if (!auth()->isAuthenticated() || $GLOBALS['perm']->have_perm('admin')) {
             throw new AccessDeniedException();
         }
 
-- 
GitLab