m4dz 5feabd4634 [fix] Highlight 'everyone' group by default		2017-06-12 10:14:18 +02:00
..
deleteHandler.js	Fix some jshint errors in settings/users	2016-08-19 10:46:42 +02:00
filter.js	use the main search box to filter users in user management	2015-08-05 17:29:20 +02:00
groups.js	[fix] Highlight 'everyone' group by default	2017-06-12 10:14:18 +02:00
users.js	polish user actions dropdown	2017-05-06 16:22:25 +02:00