don't mention patch version for PHP