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