2012-06-25 - production
20:07	<reedy>	synchronized php-1.20wmf6/extensions/WikiEditor/	[production]