Patche le fichier file avec un
patch binaire et enregistre le résultat dans le fichier
dest. Cette fonction accepte les patchs créés avec
la fonction xdiff_file_bdiff() ou la fonction
xdiff_file_rabdiff() ou leur équivalent sous forme de chaînes.
Depuis la version 1.5.0, cette fonction est un alias de la fonction xdiff_file_bpatch().
fileLe fichier original.
patchLe Patch binaire.
destLe chemin vers le fichier résultat.
Exemple #1 Exemple avec xdiff_file_patch_binary()
Le code suivant applique un diff binaire à un fichier.
<?php
$old_version = 'archive-1.0.tgz';
$patch = 'archive.bpatch';
$result = xdiff_file_patch_binary($old_version, $patch, 'archive-1.1.tgz');
if ($result) {
echo "File patched";
} else {
echo "File couldn't be patched";
}
?>Note:
Les deux fichiers (le fichier et le patch) seront chargés en mémoire ; assurez-vous d'avoir défini
memory_limità une valeur assez élevée.