Morris Jobke eb0f3ebf75 Fix search in user managent when no group is selected ... * also allows to search by displayname Signed-off-by: Morris Jobke <hey@morrisjobke.de>		2017-11-14 17:32:03 +01:00
..
Backend.php	Update license headers	2017-11-06 16:56:19 +01:00
Database.php	Fix search in user managent when no group is selected	2017-11-14 17:32:03 +01:00
LoginException.php	Update with robin	2016-07-21 18:13:58 +02:00
Manager.php	Update license headers	2017-11-06 16:56:19 +01:00
NoUserException.php	Fix others	2016-07-21 18:13:57 +02:00
Session.php	Update license headers	2017-11-06 16:56:19 +01:00
User.php	Update license headers	2017-11-06 16:56:19 +01:00