Installation/Configuration
PHP Manual

Types de ressources

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


Installation/Configuration
PHP Manual