Differences

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

--- rfc:intdiv [2014/07/30 02:28] – Fixed section title ajf
+++ rfc:intdiv [2014/09/16 19:08] – Wait oops ajf
@@ Line 3: / Line 3: @@
   * Date: 2014-07-15 (Last updated 2014-07-16)
   * Author: Andrea Faulds, ajf@ajf.me
-  * Status: In Voting
+  * Status: Accepted (Fallback proposal; operator rejected), merged into master
   * First Published at: http://wiki.php.net/rfc/intdiv
@@ Line 55: / Line 55: @@
 ===== Vote =====
-Two votes are to be held simultaneously:
+Two votes are being held simultaneously:
   - Merge the intdiv operator (''%''''%'') patch into master? Yes/No (requires 2/3 majority, language change)
@@ Line 62: / Line 62: @@
 As the ext/standard function is to be considered a fallback option only, it would not be merged if the proper operator gets in.
-<doodle title="Merge the intdiv operator patch into master?" auth="ajf" voteType="single" closed="false">
+Voting opened 2014-07-30 and ended 2014-08-06.
+<doodle title="Merge the intdiv operator patch into master?" auth="ajf" voteType="single" closed="true">
    * Yes
    * No
@@ Line 69: / Line 71: @@
 ----
-<doodle title="If the operator vote fails to achieve a 2/3 majority, should the intdiv() function patch be merged into master?" auth="ajf" voteType="single" closed="false">
+<doodle title="If the operator vote fails to achieve a 2/3 majority, should the intdiv() function patch be merged into master?" auth="ajf" voteType="single" closed="true">
    * Yes
    * No