array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'book.xmldiff.php', 1 => 'XMLDiff', 2 => 'XML : Différence et fusion', ), 'up' => array ( 0 => 'refs.xml.php', 1 => 'Manipulation XML', ), 'prev' => array ( 0 => 'function.wddx-serialize-vars.php', 1 => 'wddx_serialize_vars', ), 'next' => array ( 0 => 'xmldiff.setup.php', 1 => 'Installation/Configuration', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/xmldiff/book.xml', ), 'history' => array ( ), 'extra_header_links' => array ( 'rel' => 'alternate', 'href' => '/manual/en/feeds/book.xmldiff.atom', 'type' => 'application/atom+xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

XML : Différence et fusion

Introduction

L'extension est capable de produire la différence de deux documents XML, puis d'appliquer la différence au document source. La différence est un document XML contenant les copies/insertions/suppressions dans un format humainement lisible. Les objets DOMDocument, les fichiers locaux, et les chaînes de caractères en mémoire peuvent être utilisés.