2017-10-24 - production
19:13	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group0 to wmf.5	[production]