2014-02-07 - production
00:43	<krinkle>	synchronized php-1.23wmf12/extensions/VisualEditor 'I1cc789596dd (re-sync, forgot to update inner submodule)'	[production]