2013-12-20 - production
00:09	<ori>	synchronized php-1.23wmf8/extensions/WikimediaEvents 'Ibe918eb96: Update WikimediaEvents to master for Ia6f758068 (Log event when new editors reach edit milestone)'	[production]