2013-12-12 - production
23:31 <catrope> synchronized php-1.23wmf7/extensions/VisualEditor 'Update VE for cherry-pick' [production]