people: Fix get_custom_profile_data type.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2024-05-24 11:41:49 -07:00 committed by Anders Kaseorg
parent 3bce9fd293
commit a5995a69f3
1 changed files with 4 additions and 1 deletions

View File

@ -1716,7 +1716,10 @@ export function my_custom_profile_data(field_id: number): ProfileData | null | u
return get_custom_profile_data(my_user_id, field_id);
}
export function get_custom_profile_data(user_id: number, field_id: number): ProfileData | null {
export function get_custom_profile_data(
user_id: number,
field_id: number,
): ProfileData | null | undefined {
const person = get_by_user_id(user_id);
const profile_data = person.profile_data;
if (profile_data === undefined) {