add php-diff