« Laufzeit-Konfiguration
Vordefinierte Konstanten »
PHP Manual
Installation/Konfiguration
Ressource-Typen
Ressource-Typen
Diese Extension definiert eine
process
-Ressource, die von
proc_open()
zurückgegeben wird.