Types de ressources

Antérieur à PHP 8.1.0, il y a une ressource utilisée dans l'extension Fileinfo : un descripteur magique de base de données retourné par finfo_open().