Bump PHP version number