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