php-phpunit-diff: rename