Differences

This shows you the differences between two versions of the page.

--- rfc:change_the_edge_case_of_round [2023/11/09 10:51] – saki
+++ rfc:change_the_edge_case_of_round [2023/12/08 00:37] (current) – saki
@@ Line 3: / Line 3: @@
   * Date: 2023-10-23
   * Author: Saki Takamachi, saki@sakiot.com
-  * Status: Under Discussion
+  * Status: Declined
   * First Published at: https://wiki.php.net/rfc/change_the_edge_case_of_round
@@ Line 214: / Line 214: @@
 ===== Proposed Voting Choices =====
-We will probably vote for or against adding these functions. This requires 2/3 majority.
+As per the voting RFC a yes/no vote with a 2/3 majority is needed for this proposal to be accepted.
+Voting started on 2023-11-24 and will end on 2023-12-08 00:00 GMT.
+<doodle title="Change the edge case of round()" auth="Saki Takamachi" voteType="single" closed="false" closeon="2023-12-08T00:00:00Z">
+   * Yes
+   * No
+</doodle>
 ===== Implementation =====