2013-12-12 - production
23:30	<catrope>	updated /a/common/php-1.23wmf7 to {{Gerrit|I492fe5762}}: Update VisualEditor to wmf7 branch for cherry-picks	[production]