XDIFF_FILE_RABDIFF |
XDIFF : Différence de fichier Rabin |
|---|---|
| PHP PECL xdiff 1.5.0+ | |
Syntaxe
| function xdiff_file_rabdiff($old_file, $new_file, $dest); |
Description
Cette fonction permet de produire une différence binaire entre deux fichiers en utilisant l'algorithme polynomial de Rabin des empreintes digitales pour l'extension xdiff.
Dernière mise à jour : Jeudi, le 28 Mai 2020