Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity

Signed-off-by: Joas Schilling <coding@schilljs.com>

1 files changed, 10 insertions, 0 deletions

diff --git a/lib/private/user/manager.php b/lib/private/user/manager.php
index eb86873a26f..e638823ad29 100644
--- a/lib/private/user/manager.php
+++ b/lib/private/user/manager.php
@@ -155,6 +155,16 @@ class Manager extends PublicEmitter implements IUserManager {
 			return $this->cachedUsers[$uid];
 		}
 
+		if (method_exists($backend, 'loginName2UserName')) {
+			$loginName = $backend->loginName2UserName($uid);
+			if ($loginName !== false) {
+				$uid = $loginName;
+			}
+			if (isset($this->cachedUsers[$uid])) {
+				return $this->cachedUsers[$uid];
+			}
+		}
+
 		$user = new User($uid, $backend, $this, $this->config);
 		if ($cacheUser) {
 			$this->cachedUsers[$uid] = $user;