Re: Default values for php.ini environment variables
| From: | Derick Rethans | Date: | Mon, 17 Jul 2023 16:42:47 +0000 |
| Subject: | Re: Default values for php.ini environment variables | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-120828@lists.php.net to get a copy of this message | ||
On 17 July 2023 17:40:06 BST, Ben Ramsey <ben@benramsey.com> wrote:
>> On Jul 17, 2023, at 09:25, Derick Rethans <derick@php.net> wrote:
>>
>> On 13 July 2023 18:35:44 BST, Gabriel Fontes <hi@m7.rs> wrote:
>>> Hi everyone,
>>>
>>> PR author here. Thanks a lot for pushing this forward, Derick.
>>> Do let me know if you folks have any feedback or concerns about the PR, I'll be
>>> happy to address them.
>>>
>>> Cheers,
>>> Gabriel
>> Aa it seems nobody objected and feature freeze is this week, I'm going to merge this
>> PR.
>
>
>Did you see this other thread that somehow got created separate from this thread?
>
>https://externals.io/message/120811
I did. But that deals with an issue that is already present in the current implementation. This PR
does not effect that at all.
cheers
Derick