From 06bff0b9b84d47c43f9bc8aff06a29d85ebb7ed0 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Tue, 14 Nov 2023 14:47:55 +0100
Subject: Add function param/return types, fix a lot more phpstorm complaints

---
 modules-available/session/page.inc.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'modules-available/session')

diff --git a/modules-available/session/page.inc.php b/modules-available/session/page.inc.php
index 71f24886..9ced405a 100644
--- a/modules-available/session/page.inc.php
+++ b/modules-available/session/page.inc.php
@@ -23,7 +23,6 @@ class Page_Session extends Page
 		} elseif ($action === 'logout') {
 			// Log user out (or do nothing if not logged in)
 			User::logout();
-			Util::redirect('?do=main');
 		} elseif ($action === 'changepw') {
 			if (!User::isLoggedIn()) {
 				Util::redirect('?do=main');
@@ -59,7 +58,7 @@ class Page_Session extends Page
 			Util::redirect('?do=session');
 		} else {
 			// No action, change title to session list
-			Render::setTitle(Dictionary::translate('page-title-session-list', true));
+			Render::setTitle(Dictionary::translate('page-title-session-list'));
 		}
 	}
 
-- 
cgit v1.2.3-55-g7522