Bump version of PHP