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

user_groups: Clean up members field comment.

This commit is contained in:
Tim Abbott 2024-10-23 10:57:28 -07:00
parent 9a72d6e72e
commit 29aad5c940
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
web/src/user_groups.ts
View File

@ -14,9 +14,9 @@ import type {UserGroupUpdateEvent} from "./types";
type UserGroupRaw = z.infer<typeof raw_user_group_schema>; type UserGroupRaw = z.infer<typeof raw_user_group_schema>;
// The members field is a number array which we convert
// to a Set in the initialize function.
export const user_group_schema = raw_user_group_schema.extend({ export const user_group_schema = raw_user_group_schema.extend({
// These are delivered via the API as lists, but converted to sets
// during initialization for more convenient manipulation.
members: z.set(z.number()), members: z.set(z.number()),
direct_subgroup_ids: z.set(z.number()), direct_subgroup_ids: z.set(z.number()),
}); });