Tipos de recursos
PHP Manual
PHP Manual»Instalación/Configuración»Tipos de recursos

Un tipo de recurso es definido por esta extensión: un puntero de fichero, retornado por la función dio_open().

To Top