XDIFF_FILE_PATCH |
XDIFF : Correctif de fichier |
|---|---|
| PHP PECL xdiff 0.2.0+ | |
Syntaxe
| function xdiff_file_patch($file, $patch, $dest [, $flags = DIFF_PATCH_NORMAL ]); |
Description
Cette fonction permet de mettre un correctif sur un fichier avec une différence unifié pour l'extension xdiff.
Dernière mise à jour : Jeudi, le 28 Mai 2020