Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

people: Sharpen User type. 

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2023-10-15 21:38:09 -07:00 committed by Tim Abbott
parent 94934f49f9
commit 4d6a36ecec
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
web/src/people.ts
View File

@ -33,16 +33,23 @@ export type User = {
is_guest: boolean;
is_moderator: boolean;
is_billing_admin: boolean;
is_bot: boolean;
bot_type?: number | null;
bot_owner_id?: number | null;
role: number;
timezone: string;
avatar_url?: string | null;
avatar_version: number;
profile_data: Record<number, ProfileData>;
is_missing_server_data?: boolean; // used for fake user objects.
};
} & (
| {
is_bot: false;
bot_type: null;
}
| {
is_bot: true;
bot_type: number;
bot_owner_id: number | null;
}
);
export type SenderInfo = User & {
avatar_url_small: string;
@ -164,7 +171,7 @@ export function get_by_email(email: string): User | undefined {
return person;
}
export function get_bot_owner_user(user: User): User | undefined {
export function get_bot_owner_user(user: User & {is_bot: true}): User | undefined {
const owner_id = user.bot_owner_id;
if (owner_id === undefined || owner_id === null) {
@ -1448,7 +1455,6 @@ export function make_user(user_id: number, email: string, full_name: string): Us
date_joined: "",
delivery_email: null,
profile_data: {},
bot_owner_id: undefined,
bot_type: null,
// This property allows us to distinguish actual server person