Re: Set register_argc_argv to Off by default
| From: | G. P. B. | Date: | Thu, 09 Nov 2023 16:14:47 +0000 |
| Subject: | Re: Set register_argc_argv to Off by default | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121625@lists.php.net to get a copy of this message | ||
On Wed, 8 Nov 2023 at 16:59, Thomas Chauchefoin <
thomas.chauchefoin@sonarsource.com> wrote:
> Thank you for your early feedback on this suggestion. Without rushing
> things, I assume that the next step for me would be to draft an RFC to
> formalize this change?
>
The change seems to be uncontroversial, so an RFC feels unnecessary here.
Just make a PR and I think we can merge this into master.
Best regards,
Gina P. Banyard