php-phpunit-exporter: minor fix
php-phpunit-diff: sources from github