2021-06-11 - production
15:01	<reedy@deploy1002>	Synchronized php-1.37.0-wmf.9/extensions/MediaSearch/extension.json: Make MediaSearch default search experience for all users (duration: 00m 57s)	[production]