2018-05-18 - production
01:34	<twentyafterfour@tin>	Synchronized php-1.32.0-wmf.4: sync wmf.4 to deploy https://gerrit.wikimedia.org/r/#/c/433673/ (duration: 09m 54s)	[production]