Re: Re: [RFC] [Vote] Resource to object conversion

Hi Nicolas, - for curl - that's already supported by CurlHandle so this is seamless > - for DBA, because dba_list() > <https://www.php.net/dba_list> works by > resourceid > - for resources created by stream_socket_server() and > stream_socket_accept() > > I only checked situations where the resource id is used as an index in an > array, there might be some others (but not a lot, if any). > > It looks like we should implement the cast to int for these resource types > at least. > Thank you very much for your research, this is very valuable information! Surely, we will implement the necessary code to keep supporting these use-cases. Regards, Máté