Am 18.10.2023 um 10:42 schrieb Daniil Gentili <dan...@daniil.it>:
> This is precisely why I'm planning to submit the RFC to make the change in 
> PHP 8.4, which is when the new JIT will be introduced.

Ah, I missed that part, my bad. I'd suggest mentioning this in the RFC.
I also went back Dmitry's RFC and saw that no change on default ini settings is 
planned from his side.

Regards,
- Chris

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to