web: Fix namespace import names.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2023-10-03 11:45:13 -07:00
committed by Anders Kaseorg
parent 4d67bf5605
commit 6e3d6f531f
5 changed files with 22 additions and 22 deletions

View File

@@ -129,7 +129,7 @@ import * as user_group_edit from "./user_group_edit";
import * as user_group_edit_members from "./user_group_edit_members";
import * as user_group_popover from "./user_group_popover";
import * as user_groups from "./user_groups";
import * as user_group_settings_ui from "./user_groups_settings_ui";
import * as user_groups_settings_ui from "./user_groups_settings_ui";
import * as user_profile from "./user_profile";
import {initialize_user_settings, user_settings} from "./user_settings";
import * as user_status from "./user_status";
@@ -600,7 +600,7 @@ export function initialize_everything() {
user_topics.initialize(user_topics_params);
muted_users.initialize(muted_users_params);
stream_settings_ui.initialize();
user_group_settings_ui.initialize();
user_groups_settings_ui.initialize();
left_sidebar_navigation_area.initialize();
stream_list.initialize({
on_stream_click(stream_id, trigger) {