Manual de PHP Referencia de funciones Otras extensiones básicas Judy Instalación/Configuración Tipos de recursos Configuración en tiempo de ejecución Judy Tipos de recursos Esta extensión no tiene ningún tipo de recurso definido.