Add php-diff