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