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