php-bartlett-PHP-CompatInfo: add PR link