2012-12-01 - production
00:21 <catrope> synchronized php-1.21wmf5/extensions/VisualEditor 'Updating VisualEditor to master' [production]