From 8a7e0ee6403bb358edf90c2419af066dd79cb2ce Mon Sep 17 00:00:00 2001
From: Gerrit Uitslag <klapinklapin@gmail.com>
Date: Tue, 4 Feb 2014 00:59:45 +0100
Subject: [PATCH] update $username as well, when read from _SERVER
---
inc/common.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/inc/common.php b/inc/common.php
index 053776a41..297c36355 100644
--- a/inc/common.php
+++ b/inc/common.php
@@ -1451,7 +1451,7 @@ function userinfo($username = false) {
'userinfo' => ''
);
if($username === false) {
- $data['username'] = $_SERVER['REMOTE_USER'];
+ $data['username'] = $username = $_SERVER['REMOTE_USER'];
$data['name'] = '<bdi>'.hsc($INFO['userinfo']['name']).'</bdi> (<bdi>'.hsc($_SERVER['REMOTE_USER']).'</bdi>)';
}
--
GitLab