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