Manual de PHP Referencia de funciones Extensiones específicas de la línea de comandos Readline Instalación/Configuración Tipos de recursos Configuración en tiempo de ejecución Constantes predefinidas Tipos de recursos Esta extensión no tiene ningún tipo de recurso definido.