2017-04-12 - production
19:05	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 to wmf.20	[production]