2012-08-29 - production
21:12 <krinkle> synchronized php-1.20wmf10/resources/ 'Update jquery.ui and jquery.effects to jQuery UI 1.8.23 (I35ed086e9a8c6d)' [production]