From dfdeb210239d5dbb9d4e407b83e30a2499814843 Mon Sep 17 00:00:00 2001 From: Molkobain Date: Mon, 10 Aug 2020 19:54:33 +0200 Subject: [PATCH] PHPDoc & code cleanup --- core/userrights.class.inc.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/core/userrights.class.inc.php b/core/userrights.class.inc.php index 5eb84abf1..2755d4219 100644 --- a/core/userrights.class.inc.php +++ b/core/userrights.class.inc.php @@ -1006,6 +1006,8 @@ class UserRights } /** + * Return the current user login or an empty string if nobody connected. + * * @return string */ public static function GetUser()