user_topics: Rename 'settings_muted_topics.js'.

This commit renames 'settings_muted_topics.js'
to 'settings_user_topics.js' because the file now
supports the settings for topics with any visibility_policy,
not just MUTED.

It also renames the corresponding test file.
This commit is contained in:
Prakhar Pratyush
2023-04-16 10:03:06 +05:30
committed by Tim Abbott
parent d5846ab534
commit a079bb811b
4 changed files with 9 additions and 9 deletions

View File

@@ -160,7 +160,6 @@ EXEMPT_FILES = make_set(
"web/src/settings_exports.js",
"web/src/settings_invites.js",
"web/src/settings_linkifiers.js",
"web/src/settings_muted_topics.js",
"web/src/settings_muted_users.js",
"web/src/settings_notifications.js",
"web/src/settings_org.js",
@@ -174,6 +173,7 @@ EXEMPT_FILES = make_set(
"web/src/settings_toggle.js",
"web/src/settings_ui.js",
"web/src/settings_user_groups_legacy.js",
"web/src/settings_user_topics.js",
"web/src/settings_users.js",
"web/src/setup.js",
"web/src/spectators.js",