2015-05-07 - production
23:55 <rmoen> Synchronized php-1.26wmf4/extensions/VisualEditor/: Update VE with Cherry-picks (duration: 00m 12s) [production]