2017-10-18 - production
23:45	<maxsem@tin>	Synchronized php-1.31.0-wmf.4/extensions/Collection/: https://gerrit.wikimedia.org/r/#/c/384903/ (duration: 00m 50s)	[production]