Robin Appelman 0f5af5482e use the main search box to filter users in user management		2015-08-05 17:29:20 +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	use the main search box to filter users in user management	2015-08-05 17:29:20 +02:00