mirror of https://github.com/zulip/zulip.git
890a4b1247
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. |
||
---|---|---|
.. | ||
assets | ||
audio | ||
generated | ||
html | ||
images | ||
js | ||
shared | ||
styles | ||
templates | ||
third | ||
.gitignore | ||
favicon.ico |