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

event_schema: Use event_dict_type for user_topic_event.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2024-12-19 15:50:51 -08:00
committed by Tim Abbott
parent 6416355952
commit d512290b15
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
zerver/lib/event_schema.py
View File

@@ -428,9 +428,8 @@ muted_topics_event = event_dict_type(
) )
check_muted_topics = make_checker(muted_topics_event) check_muted_topics = make_checker(muted_topics_event)
user_topic_event = DictType( user_topic_event = event_dict_type(
required_keys=[ required_keys=[
("id", int),
("type", Equals("user_topic")), ("type", Equals("user_topic")),
("stream_id", int), ("stream_id", int),
("topic_name", str), ("topic_name", str),