Voici un paquet permettant d’installer l’extension xdiff sous Debian :

Télécharger php5-xdiff-5.4-1.5.2-1+awh_amd64.deb.tar.gz et l’installer :

wget https://blog.valouille.fr/wp-content/uploads/2013/05/php5-xdiff-5.4-1.5.2-1+awh_amd64.deb.tar.gz
tar xvzf php5-xdiff-5.4-1.5.2-1+awh_amd64.deb.tar.gz
dpkg -i php5-xdiff-5.4-1.5.2-1+awh_amd64.deb

On vérifie qu’il est bien présent :

# php -r "phpinfo();" | grep xdiff
/etc/php5/cli/conf.d/20-xdiff.ini
xdiff
xdiff support => enabled
libxdiff version => LibXDiff v0.23 by Davide Libenzi <davide@xmailserver.org>