Re: [RFC] [Discussion] Rounding Integers as int
| From: | Marc | Date: | Tue, 03 Oct 2023 09:44:41 +0000 |
| Subject: | Re: [RFC] [Discussion] Rounding Integers as int | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121214@lists.php.net to get a copy of this message | ||
Hi,
On 26.09.23 12:39, Marc Bennewitz wrote:
I'd like to put a new RFC under discussion: https://wiki.php.net/rfc/integer-roundingI tried to make the RFC text a bit more clear. As I'm not a native English speaker I would be very welcome for wording suggestions and/or grammar fixes especially for the deprecation message. About the deprecation - as it's not a classical deprecation but a notice about upcoming behavior change. Would it make sense to have an additional vote, if or if not to trigger it in 8.next? Marc