2017-09-13 - production
19:19	<demon@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 to wmf.18	[production]