2017-07-12 - production
19:25	<thcipriani@tin>	rebuilt wikiversions.php and synchronized wikiversions files: group1 wikis to 1.30.0-wmf.9	[production]