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	Run the license script	2016-07-22 11:40:41 +02:00
Database.php	Run the license script	2016-07-22 11:40:41 +02:00
LoginException.php	Run the license script	2016-07-22 11:40:41 +02:00
Manager.php	[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
NoUserException.php	Run the license script	2016-07-22 11:40:41 +02:00
Session.php	Run the license script	2016-07-22 11:40:41 +02:00
User.php	Run the license script	2016-07-22 11:40:41 +02:00