2017-11-15 - production
22:21	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 to wmf.8	[production]