mirror of
https://github.com/zulip/zulip.git
synced 2025-11-06 06:53:25 +00:00
Since ui.set_presence_list is only called from activity.js, I am inlining the code into activity.update_users(). This also allows us to move ui.presence_descriptions into activity.js, which is the right home for presence-related things. (imported from commit 0ff239275c544a86c14d517bc386d06726b81cd9)
60 KiB
60 KiB