Björn Schießle 4271430e60 get all display names from users in a given group		2013-01-25 11:48:03 +01:00
..
backend.php	get all display names from users in a given group	2013-01-25 11:48:03 +01:00
database.php	fix some more phpdoc	2012-09-23 02:40:03 +02:00
dummy.php	Checkstyle: many fixes	2012-11-02 19:53:02 +01:00
example.php	Checkstyle: many fixes	2012-11-02 19:53:02 +01:00
interface.php	fix some more phpdoc	2012-09-23 02:40:03 +02:00