Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126426
Precedence: bulk
MIME-Version: 1.0
Date: Mon, 17 Feb 2025 09:36:30 +0100
To: php internals <internals@lists.php.net>
Subject: Re: [PHP-DEV] Allow to easily retrieve non-default INI settings / GH
 PR 17459
In-Reply-To: <2861271a800eddea62c7fe93b32b2fab@bastelstu.be>
References: <2861271a800eddea62c7fe93b32b2fab@bastelstu.be>
Message-ID: <5019902dbac9993f03fe1d86b59430ec@bastelstu.be>
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
From: tim@bastelstu.be (=?UTF-8?Q?Tim_D=C3=BCsterhus?=)

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 result in particularly strong opinions, 
> with the PR being merged in the current state, given there is plenty of 
> time until feature freeze for follow-ups.
> 
> After the merge, this came up again and I'm now reaching out to 
> Internals for other folks to weigh in. Those of you who have an opinion 
> about the flag (and possible BC concerns with using the existing 
> `--ini` flag), please comment on the PR (or this ML thread). If 
> necessary I can do a small RFC / straw poll about this, but I hope that 
> the feature is sufficiently simple to not require a formal process :-)

For reference, I created a PR to update the flag to `--ini=diff` at: 
https://github.com/php/php-src/pull/17762

Best regards
Tim Düsterhus