update (not really) php version in composer.json