Thomas Müller 82e8762c84 Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity - fixes #25684 (#25686)		2016-08-29 14:33:16 +02:00
..
Backend.php	Unnecessary fully qualified names	2016-08-14 19:36:06 +02:00
Database.php	Add PHPdoc	2016-08-15 11:14:28 +02:00
LoginException.php	Update with robin	2016-07-21 18:13:58 +02:00
Manager.php	Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity - fixes #25684 (#25686)	2016-08-29 14:33:16 +02:00
NoUserException.php	Fix others	2016-07-21 18:13:57 +02:00
Session.php	missing PHPDoc	2016-08-14 19:37:52 +02:00
User.php	Method is deprecated	2016-08-14 19:37:11 +02:00