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

2023-07-17 Thread Derick Rethans
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 address them. > >Cheers, >Gabriel Aa it seems nobody objected and feature

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

2023-07-13 Thread Marc
On 13.07.23 17:39, Ben Ramsey wrote: On Jul 13, 2023, at 08:26, 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 environment variables in INI files, such as in: xd