mirror of
https://github.com/zulip/zulip.git
synced 2025-11-20 14:38:46 +00:00
The function only used the user's realm anyway, so this is a cleaner API. This should also make it more convenient to permanently delete messages manually, since one doesn't have to fetch a random user in the realm in order to delete a message using the management shell. No functional change.
28 KiB
28 KiB