mirror of
https://github.com/zulip/zulip.git
synced 2025-10-23 04:52:12 +00:00
Share code between `safe_full_names` and `get_display_full_names` functions, and rename `safe_full_names` to `get_full_names_for_poll`, because that was the only place where this was used earlier. This also has the nice side effect of showing "Muted user" instead of the muted username in poll results.