Reword the PHP version specification.