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