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é