Re: [PHP-DEV] Default values for php.ini environment variables

2023-07-17 Thread Derick Rethans
On 17 July 2023 17:40:06 BST, Ben Ramsey wrote: >> On Jul 17, 2023, at 09:25, Derick Rethans wrote: >> >> On 13 July 2023 18:35:44 BST, Gabriel Fontes wrote: >>> Hi everyone, >>> >>> PR author here. Thanks a lot for pushing this forward, Derick. >>> Do let me know if you folks have any

Re: [PHP-DEV] Default values for php.ini environment variables

2023-07-17 Thread Ben Ramsey
> On Jul 17, 2023, at 09:25, Derick Rethans wrote: > > On 13 July 2023 18:35:44 BST, Gabriel Fontes 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

Re: [PHP-DEV] Default values for php.ini environment variables

2023-07-13 Thread Flávio Heleno
I don't have voting rights, but this is a very positive addition IMO. On Thu, Jul 13, 2023 at 10:27 AM Derick Rethans wrote: > Hi, > > coming forth out of an Xdebug issue > (https://bugs.xdebug.org/view.php?id=2174) I made a pull request so that > it is possible to use a fallback value in

[PHP-DEV] Default values for php.ini environment variables

2023-07-13 Thread Derick Rethans
Hi, coming forth out of an Xdebug issue (https://bugs.xdebug.org/view.php?id=2174) I made a pull request so that it is possible to use a fallback value in environment variables in INI files, such as in: xdebug.start_with_request = ${PHP_XDEBUG_START_WITH_REQUEST:-default} This is a syntax