mirror of
https://github.com/zulip/zulip.git
synced 2025-11-14 02:48:00 +00:00
This change sets us up to optimize how we filter users in the admin user settings. See #13554 for more context on the user facing issues. This fix is basically three related things: - Add filterer options to list_render. - Add helper method to people.js. - Use filterer in settings_users.js.
14 KiB
14 KiB