« Laufzeit-Konfiguration
Vordefinierte Konstanten »
PHP Manual
Installation/Konfiguration
Ressource-Typen
Ressource-Typen
This extension defines resources.