mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 05:23:35 +00:00
The client's update_person() method will look for an is_admin change and update the gear menu as needed, as well as the underlying data structures that help draw the admin page user list. (imported from commit af8c173886d63dd102c63336bbca176f49e1036d)