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