Robin Appelman
|
0f5af5482e
|
use the main search box to filter users in user management
|
2015-08-05 17:29:20 +02:00 |
Morris Jobke
|
23e09be65f
|
fix placeholder fake in IE8 & 9 that brokes group listing in user management - fixes #12525
|
2014-12-05 12:16:22 +01:00 |
Arthur Schiwon
|
ab2c7e06a4
|
remove dead code
do not filter groups. but update the user count according to the filter
improve phpdoc
improve metadata runtime cache
add metadata tests
|
2014-07-14 21:26:37 +02:00 |
Arthur Schiwon
|
75cc16f2bd
|
remove debug output
|
2014-06-02 12:53:59 +02:00 |
Arthur Schiwon
|
92b8344489
|
replace setTimeout and clearTimeout handling by _.debounce
|
2014-06-02 12:53:59 +02:00 |
Arthur Schiwon
|
a9bd416643
|
add reset button for the filter field
|
2014-06-02 12:53:57 +02:00 |
Arthur Schiwon
|
dea7f45782
|
stick with current group when the filter is used
|
2014-06-02 12:53:57 +02:00 |
Thomas Müller
|
3c9788d40c
|
js cleanup + typos
|
2014-06-02 12:53:56 +02:00 |
Arthur Schiwon
|
249e42c4cd
|
enable group filtering
|
2014-06-02 12:53:55 +02:00 |
Arthur Schiwon
|
dbc854d8b8
|
Fire up server request only on typing printed or modifying characters and when the string actually changed
|
2014-06-02 12:53:55 +02:00 |
Arthur Schiwon
|
8df50acce7
|
some documentation
|
2014-06-02 12:53:55 +02:00 |
Arthur Schiwon
|
5b8ba79356
|
make filter work on server-side
|
2014-06-02 12:53:55 +02:00 |