2017-10-31 - production
15:43	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: all but wikidata.org -> wmf.5	[production]