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