2014-05-10 - production
12:03	<hoo>	synchronized php-1.24wmf3/extensions/Wikidata/ 'Update Wikibase to fix performance issues with dumpJson'	[production]