2013-08-23 - production
16:25	<reedy>	synchronized php-1.22wmf13/extensions/WikiEditor/	[production]