2013-12-20 - production
00:47	<ori>	synchronized php-1.23wmf7/extensions/WikimediaEvents 'I7cad8fd35fd: Update WikimediaEvents to master'	[production]