2017-07-13 - production
23:47	<thcipriani@tin>	rebuilt wikiversions.php and synchronized wikiversions files: revert all wikis to php-1.30.0-wmf.9, again	[production]