2018-10-25 - production
23:26	<maxsem@deploy1001>	Synchronized php-1.33.0-wmf.1/extensions/GlobalPreferences/: https://gerrit.wikimedia.org/r/c/469793/ (duration: 00m 58s)	[production]