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