2015-05-07 - production
23:51 <rmoen> Synchronized php-1.26wmf5/extensions/VisualEditor/: Update VE for cherry-picks (duration: 00m 11s) [production]