2012-08-21 - production
19:39	<reedy>	synchronized php-1.20wmf10/resources/ 'jQuery UI 1.8.23'	[production]