2012-07-26 - production
18:59	<reedy>	synchronized php-1.20wmf8/extensions/WikiEditor	[production]