Zixuan James Li 6d9aba8aff muted_users: Convert muted_users to typescript. ... muted_users.js is another dependency of people.js to be converted into typescript. Note that for filter_muted_users, we avoid typing persons with a type that might get added to people.ts in the future, as it otherwise might introduce cyclic dependency. Signed-off-by: Zixuan James Li <p359101898@gmail.com>		2022-12-30 11:21:23 -08:00
..
assets	compose: Create shared compose banner and use for resolved topic warning.	2022-12-06 15:42:07 -08:00
audio/notification_sounds	audio: Remove the copy of zulip.ogg outside notification_sounds.	2022-06-10 12:27:48 -07:00
generated
html	templates: Add HTML title element to templates that extend base/portico.	2022-09-19 20:17:17 -07:00
images	ci: Check that non-scripts aren’t marked executable.	2022-12-07 09:54:01 -08:00
js	muted_users: Convert muted_users to typescript.	2022-12-30 11:21:23 -08:00
shared	shared: Bump version to 0.0.16	2022-11-02 13:59:05 -07:00
styles	styles: Add overflow: hidden fallback for overflow: clip.	2022-12-27 10:31:06 -08:00
templates	invite_users: Add globe icon in web public streams.	2022-12-14 20:58:29 -08:00
third	bootstrap: Remove print media styles.	2022-12-16 00:01:25 -08:00
.gitignore	docs: Add missing space in “time zone”.	2022-02-24 14:05:12 -08:00