2015-02-09 - production
23:54	<yurik>	Synchronized php-1.25wmf15/extensions/ZeroBanner: cherry-picking 189617 (duration: 00m 05s)	[production]