mirror of
https://github.com/zulip/zulip.git
synced 2025-11-09 00:18:12 +00:00
6d9aba8aff
muted_users.js is another dependency of people.js to be converted into typescript. Note that for filter_muted_users, we avoid typing persons with a type that might get added to people.ts in the future, as it otherwise might introduce cyclic dependency. Signed-off-by: Zixuan James Li <p359101898@gmail.com>
2.0 KiB
2.0 KiB