PHP-Handbuch Funktionsreferenz Sonstige Grunderweiterungen Taint Installation/Konfiguration Ressource-Typen Laufzeit-Konfiguration More Details Ressource-Typen Diese Erweiterung definiert keine Ressource-Typen.