replace horde text-diff with php-diff