From d61ec2a0cc5607ae697435e39a26f454675bc2dd Mon Sep 17 00:00:00 2001 From: evykassirer Date: Thu, 10 Oct 2024 17:11:40 -0700 Subject: [PATCH] settings: Remove unused realm_create_private_stream_policy. This was replaced with realm_can_create_private_channel_group in e19524b and wasn't fully removed. --- web/src/settings_components.ts | 1 - web/src/state_data.ts | 1 - 2 files changed, 2 deletions(-) diff --git a/web/src/settings_components.ts b/web/src/settings_components.ts index 029a56b5e8..86eeaef428 100644 --- a/web/src/settings_components.ts +++ b/web/src/settings_components.ts @@ -217,7 +217,6 @@ export function get_subsection_property_elements($subsection: JQuery): HTMLEleme type simple_dropdown_realm_settings = Pick< typeof realm, - | "realm_create_private_stream_policy" | "realm_invite_to_stream_policy" | "realm_add_custom_emoji_policy" | "realm_invite_to_realm_policy" diff --git a/web/src/state_data.ts b/web/src/state_data.ts index 7173e147de..3c0fc2e868 100644 --- a/web/src/state_data.ts +++ b/web/src/state_data.ts @@ -294,7 +294,6 @@ const realm_schema = z.object({ realm_can_delete_own_message_group: z.number(), realm_can_manage_all_groups: z.number(), realm_create_multiuse_invite_group: z.number(), - realm_create_private_stream_policy: z.number(), realm_date_created: z.number(), realm_default_code_block_language: z.string(), realm_default_external_accounts: z.record(