Re: [RFC] [Discussion] Rounding Integers as int

From: Date: Sat, 09 Mar 2024 07:01:57 +0000
Subject: Re: [RFC] [Discussion] Rounding Integers as int
References: 1 2  Groups: php.internals 
Request: Send a blank email to internals+get-122589@lists.php.net to get a copy of this message
Hi internals, Just want to resent this note about the updated RFC as there where no comments last time and I'm unsure if this was due to mailing list issues. I now have updated the RFC to allow to opt-in to new behavior on PHP 8.4 and be able to opt-out to previous behavior in PHP 9.0 via new parameter "force_float". Also the deprecation has been removed as nobody liked it. If no further comments arrive I'll like to start voting next week Friday. Best regards, Marc On 25.02.24 18:09, Marc Bennewitz wrote:
Hi all, I now have updated the RFC to allow to opt-in to new behavior on PHP 8.4 and be able to opt-out to previous behavior in PHP 9.0 via new parameter "force_float". Also the deprecation has been removed as nobody liked it. Best regards, Marc On 26.09.23 12:39, Marc Bennewitz wrote:
Hi internals I'd like to put a new RFC under discussion: https://wiki.php.net/rfc/integer-rounding Best, Marc


« previous php.internals (#122589) next »