michag86 3a6d273265 do not remove empty group in gui by js		2015-08-19 20:05:52 +02:00
..
deleteHandler.js	Autoescape of placeholders in t() and p() - for JS	2015-01-07 12:56:32 +01:00
filter.js	use the main search box to filter users in user management	2015-08-05 17:29:20 +02:00
groups.js	use the main search box to filter users in user management	2015-08-05 17:29:20 +02:00
users.js	do not remove empty group in gui by js	2015-08-19 20:05:52 +02:00