2016-08-31 - production
23:15	<maxsem@tin>	Synchronized php-1.28.0-wmf.17/extensions/Kartographer: https://gerrit.wikimedia.org/r/#/c/307883/ (duration: 00m 49s)	[production]