Re: Allow to easily retrieve non-default INI settings / GH PR 17459
| From: | Ayesh Karunaratne | Date: | Fri, 07 Feb 2025 07:59:58 +0000 |
| Subject: | Re: Allow to easily retrieve non-default INI settings / GH PR 17459 | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-126322@lists.php.net to get a copy of this message | ||
> 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 before this change, the php --ini output was not very
"plumbing-friendly", so I don't think there are scripts that parse the
php --ini output.
If we are really looking to change or add a new flag, I think a new
php --ini-list-modified or php --ini-show-modified might be a good
fit.
php --help lists the --ini flag as `Show configuration file
names, so with a new flag, we don't change the semantics of the php
--ini` flag.
Thank you,
Ayesh.