def notify_realm_export(user_profile: UserProfile) -> None:
    event = dict(type='realm_export', exports=get_realm_exports_serialized(user_profile))
    send_event(user_profile.realm, event, [user_profile.id])
def notify_realm_export(user_profile: UserProfile) -> None:
    event = dict(type='realm_export', exports=get_realm_exports_serialized(user_profile))
    send_event(user_profile.realm, event, [user_profile.id])