2016-05-12 - production
00:03	<maxsem@tin>	Synchronized php-1.28.0-wmf.1/extensions/ZeroBanner: https://gerrit.wikimedia.org/r/#/c/288236/ (duration: 00m 26s)	[production]