Bump php version number.