2014-07-02 - production
18:37	<yurik>	Synchronized php-1.24wmf10/extensions/: Updating JsonConfig, ZeroBanner, ZeroPortal (duration: 01m 55s)	[production]