mirror of
https://github.com/zulip/zulip.git
synced 2026-07-09 21:21:47 +08:00
3a9dfc02e6
This is a prep commit for implementing mute users feature, which renames this function to be more specific. This function cannot be used as-is for user mutes, because for user-muted messages, we always want to rerender the message list, irrespective of what `excludes_muted_users` is. In muting_ui.js, we also remove an unnecessary conditional that is already handled by update_topic_muting_and_rerender itself. |
||
|---|---|---|
| .. | ||
| assets | ||
| audio | ||
| generated | ||
| html | ||
| images | ||
| js | ||
| shared | ||
| styles | ||
| templates | ||
| third | ||
| .gitignore | ||