Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:121894
MIME-Version: 1.0
References: <42FA33F7-32E2-49B2-B903-AE963EB19B61@sakiot.com>
In-Reply-To: <42FA33F7-32E2-49B2-B903-AE963EB19B61@sakiot.com>
Date: Fri, 1 Dec 2023 11:53:23 +0000
Message-ID: <CAEKnhAEdsxkkxX81ExJXjj69gprSdKvmcs+e1uPX+hk4jy=djw@mail.gmail.com>
To: Saki Takamachi <saki@sakiot.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000000d078060b716b1f"
Subject: Re: [PHP-DEV] [RFC] [VOTE] Change the edge case of round()
From: bukka@php.net (Jakub Zelenka)

--00000000000000d078060b716b1f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Fri, Nov 24, 2023 at 12:31=E2=80=AFAM Saki Takamachi <saki@sakiot.com> w=
rote:

> Hi internals,
>
> I started voting on my RFC "Change the edge case of round()=E2=80=9D.
>
> Voting will end December 8th, 00:00 GMT.
>
> https://wiki.php.net/rfc/change_the_edge_case_of_round
>
>
I have been thinking about this one for a bit and I voted no at the end. I
would probably pick the new behaviour if designing a new function like this
but considering that it's been around for long time in this form, I don't
think it's worth to be changed as it introduces slight BC break that might
difficult to figure out. Also the old behaviour might be more intuitive for
users so it does not seem completely wrong to me to keep it.

Cheers

Jakub

--00000000000000d078060b716b1f--