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