mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	This commit modifies the copy_user_settings code such that instead of source user profile, we can have two types of sources - a user profile and RealmUserDefault table of realm and then set the settings from RealmUserDefault only is there is no user profile as a source. We also rename copy_user_settings to copy_default_settings for clarity.
		
			
				
	
	
	
		
			7.2 KiB
		
	
	
	
	
	
	
	
			
		
		
	
	
			7.2 KiB