Re: [RFC] [VOTE] Add 4 new rounding modes to round() function
| From: | Jorg Sowa | Date: | Thu, 16 Nov 2023 06:31:20 +0000 |
| Subject: | Re: [RFC] [VOTE] Add 4 new rounding modes to round() function | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121693@lists.php.net to get a copy of this message | ||
Thank you for your input Levi, this perspective wasn't mention before. I
agree with deprecation, that's why I removed this part from the RFC. I left
separate vote on creating aliases for the extension though, as from the
discussion this was not so certain and clear to everyone.
Kind regards,
Adam