2017-10-18 - production
23:05	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 to wmf.4	[production]