2012-06-13 - production
18:22	<logmsgbot_>	reedy synchronized php-1.20wmf5/extensions/Vector/	[production]