2016-07-18 - production
23:17	<maxsem@tin>	Synchronized php-1.28.0-wmf.10/extensions/Kartographer/: https://gerrit.wikimedia.org/r/#/c/299560/ (duration: 00m 27s)	[production]