mirror of
https://github.com/zulip/zulip.git
synced 2025-11-12 01:47:41 +00:00
Muted users are stored in a map with key as user ID and the value as the timestamp of muting. Names can be easily fetched from existing functions in `people.js` and hence not stored.
5.3 KiB
5.3 KiB