Thomas Müller f6ee9340c2 [stable9.1] Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity - fixes #25684 (#25686)		2016-08-29 15:19:00 +02:00
..
Backend.php
Database.php
LoginException.php
Manager.php
NoUserException.php
Session.php
User.php