« Laufzeit-Konfiguration
Vordefinierte Konstanten »
PHP Manual
Installation/Konfiguration
Ressource-Typen
Ressource-Typen
This extension defines a WDDX packet identifier returned by
wddx_packet_start()
.