Manuel PHP
Précédent |  | Suivant

# DomDocument->dump_file

(no version information, might be only in CVS)

DomDocument->dump_file -- Convertit un document DOM XML en fichier

## Description

string DomDocument->dump_file ( string filename [, bool compressionmode [, bool format]] )

DomDocument->dump_file() crée un document XML à partir de sa représentation interne DOM. DomDocument->dump_mem() est généralement appelée après la construction d'un document à partir de zéro, comme dans l'exemple ci-dessous. Le paramètre `format` spécifie si l'affichage doit être formaté proprement ou pas. `filename` est le nom du fichier dans lequel le document XML sera sauvegardé, et `compressionmode` indique si le fichier doit être compressé ou pas.

Exemple 1. Création d'un en-tête de document HTML avec DomDocument->dump_file()

`<?php
$doc = domxml_new_doc("1.0");
$root = $doc->create_element("HTML");
$root = $doc->append_child($root);
$head = $doc->create_element("HEAD");
$head = $root->append_child($head);
$title = $doc->create_element("TITLE");
$title = $head->append_child($title);
$text = $doc->create_text_node("This is the title");
$text = $title->append_child($text);
$doc->dump_file("/tmp/test.xml", false, true);
?>`

Voir aussi domdocument_dump_mem() et domdocument_html_dump_mem().

Précédent | Sommaire | Suivant
DomDocument->document_element | Niveau supérieur | DomDocument->dump_mem