mirror of
https://github.com/zulip/zulip.git
synced 2025-11-15 19:31:58 +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.
31 KiB
31 KiB