mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-04 05:53:43 +00:00 
			
		
		
		
	Muted users are stored in a map with key as user ID and the value as the timestamp of muting. Names can be easily fetched from existing functions in `people.js` and hence not stored.