2017-10-05 - production
19:59	<thcipriani@tin>	Synchronized php-1.31.0-wmf.1/extensions/Echo: SWAT: [[gerrit:382521|revert "Use User Ids instead of User Names for Echo Mute"]] (duration: 00m 55s)	[production]