xdiff_file_merge3

(no version information, might be only in CVS)

xdiff_file_merge3 -- Fusionne trois fichiers en un seul

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().