* Extract user filter generation code into method
* Extend make_user_cond to allow lists of user IDs
* Update documentation for stats APIs to indicate handling of ID lists
* Use multiselect dropdown for user filter on graphs page
Use standard concatenation
Fix select style
Move settings to JS constructor
Change text for no users checked
Don't call selectAll on page init
Add it back
Remove attributes
Fix emptiness check
Allow deselect all
Only refresh if user id changed
* Show "N users" starting at 2 users
Co-authored-by: JonnyWong16 <9099342+JonnyWong16@users.noreply.github.com>
* Use helper function split_strip
Co-authored-by: JonnyWong16 <9099342+JonnyWong16@users.noreply.github.com>
* Move make_user_cond at bottom and make private
* Add new user picker to history page
* Fix copy-paste error
* Again
* Add CSS for bootstrap-select
---------
Co-authored-by: JonnyWong16 <9099342+JonnyWong16@users.noreply.github.com>
