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