Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:103680
To: Zeev Suraski <zeev@php.net>
Cc: Nikita Popov <nikita.ppv@gmail.com>,
 PHP internals <internals@lists.php.net>,
 Stanislav Malyshev <smalyshev@gmail.com>
References: <a7761c2f-5716-279b-d701-5f588b856277@gmx.de>
 <dbfae3d5-e317-f680-9fe6-240ab142d105@gmail.com>
 <94f5feb8-6589-3a0a-2849-7679cec1858c@gmx.de>
 <a0e50789-10c0-263d-f6a7-56486d7bb318@gmail.com>
 <CAF+90c-2ama6LBDY0xQKN1oPV-YMaY2==SSWk_hSstc40y9NWQ@mail.gmail.com>
 <CAJHtznzzBvx9Dc5YPGT6kU97doCj0O2FxGGjnTNh4Pv2-Pucxg@mail.gmail.com>
 <574c2a6f-9ca7-7aa8-4bd9-a7191b27cb31@gmx.de>
 <CAJHtznyK7z64GYFOg1tuMAy6dfA2oLOCf_JBpYLS4iSG7H_yMQ@mail.gmail.com>
Message-ID: <b8b37745-c940-5878-203f-97347b4bfae7@gmx.de>
Date: Fri, 4 Jan 2019 14:18:24 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.4.0
MIME-Version: 1.0
In-Reply-To: <CAJHtznyK7z64GYFOg1tuMAy6dfA2oLOCf_JBpYLS4iSG7H_yMQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] Inconsistent float to string vs. string to floatcasting
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 02.01.2019 at 16:51, Zeev Suraski wrote:

> If we do end up adding a new INI entry - maybe it can be a tristate -
> legacy, legacy+notice, or new.  Just a thought.  And I wouldn’t commit to
> actually removing it at any time by officially deprecating it...

I have some doubts that an INI setting would be an appropriate solution.
 If it's PHP_INI_SYSTEM (or such), libraries may have a hard time
dealing with this.  If it's PHP_INI_ALL, the same issues as now could
still happen.

-- 
Christoph M. Becker