Hi, Quick follow-up:
> > Please create a draft PR for this so we can discuss it there. It's much easier than here. > I've opened the PR as a draft: https://github.com/php/php-src/pull/22638 Kind regards, Gianfrancesco >
Hi, Quick follow-up:
> > Please create a draft PR for this so we can discuss it there. It's much easier than here. > I've opened the PR as a draft: https://github.com/php/php-src/pull/22638 Kind regards, Gianfrancesco >