2014-05-10 - production
17:35	<hoo>	synchronized php-1.24wmf3/extensions/Wikidata/ 'Update Wikidata to fix the JSON dump generation'	[production]