Re: [PHP-DEV] Allow to easily retrieve non-default INI settings / GH PR 17459

2025-02-17 Thread Tim Düsterhus
Hi Am 2025-02-06 09:55, schrieb Tim Düsterhus: this email concerns my PR https://github.com/php/php-src/pull/17459, which extended the cli-SAPI’s `--ini` flag to print any INI settings that differ from the built-in default. There was some discussion around which flag to use, which didn't resul

Re: [PHP-DEV] Allow to easily retrieve non-default INI settings / GH PR 17459

2025-02-07 Thread Ayesh Karunaratne
> this email concerns my PR https://github.com/php/php-src/pull/17459, > which extended the cli-SAPI’s `--ini` flag to print any INI settings > that differ from the built-in default. There was some discussion around > which flag to use, which didn't result in particularly strong opinions, Even bef

Re: [PHP-DEV] Allow to easily retrieve non-default INI settings / GH PR 17459

2025-02-06 Thread Jakub Zelenka
Hi, On Thu, Feb 6, 2025 at 9:57 AM Tim Düsterhus wrote: > Hi > > this email concerns my PR https://github.com/php/php-src/pull/17459, > which extended the cli-SAPI’s `--ini` flag to print any INI settings > that differ from the built-in default. There was some discussion around > which flag to u

[PHP-DEV] Allow to easily retrieve non-default INI settings / GH PR 17459

2025-02-06 Thread Tim Düsterhus
Hi this email concerns my PR https://github.com/php/php-src/pull/17459, which extended the cli-SAPI’s `--ini` flag to print any INI settings that differ from the built-in default. There was some discussion around which flag to use, which didn't result in particularly strong opinions, with the