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

js: Fix @typescript-eslint/restrict-plus-operands.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2021-09-22 14:34:58 -07:00
committed by Anders Kaseorg
parent af1e34b348
commit f7a7cfea62
8 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
static/js/user_groups.ts
View File

@@ -49,7 +49,7 @@ export function remove(user_group: UserGroup): void {
export function get_user_group_from_id(group_id: number): UserGroup {
const user_group = user_group_by_id_dict.get(group_id);
if (!user_group) {
throw new Error("Unknown group_id in get_user_group_from_id: " + group_id);
throw new Error(`Unknown group_id in get_user_group_from_id: ${group_id}`);
}
return user_group;
}
@@ -80,7 +80,7 @@ export function get_realm_user_groups(): UserGroup[] {
export function is_member_of(user_group_id: number, user_id: number): boolean {
const user_group = user_group_by_id_dict.get(user_group_id);
if (user_group === undefined) {
blueslip.error("Could not find user group with ID " + user_group_id);
blueslip.error(`Could not find user group with ID ${user_group_id}`);
return false;
}
return user_group.members.has(user_id);
@@ -89,7 +89,7 @@ export function is_member_of(user_group_id: number, user_id: number): boolean {
export function add_members(user_group_id: number, user_ids: number[]): void {
const user_group = user_group_by_id_dict.get(user_group_id);
if (user_group === undefined) {
blueslip.error("Could not find user group with ID " + user_group_id);
blueslip.error(`Could not find user group with ID ${user_group_id}`);
return;
}
@@ -101,7 +101,7 @@ export function add_members(user_group_id: number, user_ids: number[]): void {
export function remove_members(user_group_id: number, user_ids: number[]): void {
const user_group = user_group_by_id_dict.get(user_group_id);
if (user_group === undefined) {
blueslip.error("Could not find user group with ID " + user_group_id);
blueslip.error(`Could not find user group with ID ${user_group_id}`);
return;
}