2017-11-08 - production
22:50	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 to wmf.7 try #2	[production]