Differences

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

--- rfc:intdiv [2014/07/29 14:19] – Fix list item counting yunosh
+++ rfc:intdiv [2014/09/16 19:07] – Version clarity ajf
@@ Line 3: / Line 3: @@
   * Date: 2014-07-15 (Last updated 2014-07-16)
   * Author: Andrea Faulds, ajf@ajf.me
-  * Status: Under Discussion
+  * Status: Accepted (Fallback proposal; operator rejected), merged into master
   * First Published at: http://wiki.php.net/rfc/intdiv
@@ Line 47: / Line 47: @@
 ===== Proposed PHP Version(s) =====
-Next PHP 5.x (i.e. PHP 5.7).
+<del>Next PHP 5.x (i.e. PHP 5.7).</del> Next PHP x (i.e. PHP 7).
 ===== Future Scope =====
@@ Line 53: / Line 53: @@
 None I can see.
-===== Proposed Voting Choices =====
+===== Vote =====
-Two votes shall 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 61: / Line 61: @@
 As the ext/standard function is to be considered a fallback option only, it would not be merged if the proper operator gets in.
+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
+</doodle>
+----
+<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
+</doodle>
 ===== Patches and Tests =====