Manuel PHP Précédent Suivant wddx_packet_end() clos un paquet WDDX repéré par son identifiant packet_id. Précédent Sommaire Suivant Niveau supérieur