2017-06-15 - production
19:35	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group2 to wmf.5	[production]