php-bartlett-PHP-CompatInfo: add patch for broken extension report