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

user_topic: Rename topic_mutes.py to user_topics.py.

Browse Source
This commit is contained in:
Kartik Srivastava
2022-02-23 01:37:07 +05:30
committed by Tim Abbott
parent ce38eda54d
commit eefaa9120f
11 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/lib/actions.py
View File

@@ -172,7 +172,6 @@ from zerver.lib.topic import (
update_edit_history,
update_messages_for_topic_edit,
)
from zerver.lib.topic_mutes import add_topic_mute, get_topic_mutes, remove_topic_mute
from zerver.lib.types import (
EditHistoryEvent,
ProfileDataElementValue,
@@ -189,6 +188,7 @@ from zerver.lib.upload import (
from zerver.lib.user_groups import access_user_group_by_id, create_user_group
from zerver.lib.user_mutes import add_user_mute, get_muting_users, get_user_mutes
from zerver.lib.user_status import update_user_status
from zerver.lib.user_topics import add_topic_mute, get_topic_mutes, remove_topic_mute
from zerver.lib.users import (
check_bot_name_available,
check_full_name,