mirror of
				https://github.com/zulip/zulip.git
				synced 2025-10-31 12:03:46 +00:00 
			
		
		
		
	The JS code can now call stream_data.get_sub_by_id() to get a sub from a stream_id. Subs have stream_id due to a prior commit, and we keep track of the mapping in stream_data's subs_by_stream_id variable. (imported from commit 409e13d6d2e79d909441a66c85ee651529d15cd2)