2017-10-12 - production
19:18	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group2 to wmf.3	[production]