Description
mixed
xdiff_file_merge3 ( string file1, string file2, string file3, string dest )
xdiff_file_merge3() fusionne les fichiers
file1, file2 et
file3 en un seul et le stocke dans
dest.
Cette fonction retourne TRUE si la fusion a réussi, une chaîne avec les
parties rejetées s'il y'en a, ou FALSE si une erreur interne s'est
produite.
Exemple 1. Exemple avec xdiff_file_merge3()
Le code suivant fusionne trois fichiers en un.
<?php
$ancienne_version = 'script_original.php';
$fix1 = 'script_avec_fix1.php';
$fix2 = 'script_avec_fix2.php';
$errors = xdiff_file_merge3($ancienne_version, $fix1, $fix2, 'fixed_script.php');
if (is_string($errors)) {
echo "Rejets :\n";
echo $errors;
}
?>
|
|
Voir aussi
xdiff_string_merge3().
