paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-10 17:07:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove User type from types.ts.

Browse Source
This commit is contained in:
evykassirer
2024-01-11 12:16:54 -08:00
committed by Tim Abbott
parent 5f82bf0002
commit fdb6f212d0
2 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
web/src/types.ts
View File

@@ -53,10 +53,6 @@ export type UpdateMessageEvent = {
topic?: string; topic?: string;
}; };
// TODO/typescript: Move the User and Stream placeholder
// types to their appropriate modules.
export type User = Record<string, never>;
export type GroupPermissionSetting = { export type GroupPermissionSetting = {
require_system_group: boolean; require_system_group: boolean;
allow_internet_group: boolean; allow_internet_group: boolean;

3
web/src/user_groups.ts
View File

@@ -2,8 +2,9 @@ import * as blueslip from "./blueslip";
import {FoldDict} from "./fold_dict"; import {FoldDict} from "./fold_dict";
import * as group_permission_settings from "./group_permission_settings"; import * as group_permission_settings from "./group_permission_settings";
import {page_params} from "./page_params"; import {page_params} from "./page_params";
import type {User} from "./people";
import * as settings_config from "./settings_config"; import * as settings_config from "./settings_config";
import type {User, UserGroupUpdateEvent} from "./types"; import type {UserGroupUpdateEvent} from "./types";
export type UserGroup = { export type UserGroup = {
description: string; description: string;