2017-07-20 - production
17:16	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: wikidata back to wmf.10	[production]