Types de ressources
PHP Manual
PHP Manual»Installation/Configuration»Types de ressources

Un type de ressource est défini par cette extension : un descripteur de fichier, retourné par la fonction dio_open().

To Top