rfc:intdiv

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
rfc:intdiv [2014/07/16 15:16]
ajf Formatting fix
rfc:intdiv [2017/09/22 13:28] (current)
Line 3: Line 3:
   * Date: 2014-07-15 (Last updated 2014-07-16)   * Date: 2014-07-15 (Last updated 2014-07-16)
   * Author: Andrea Faulds, ajf@ajf.me   * 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   * First Published at: http://​wiki.php.net/​rfc/​intdiv
  
Line 53: Line 53:
 None I can see. 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) +  - Merge the intdiv operator (''​%''''​%''​) patch into master? Yes/No (requires 2/3 majority, language change) 
- +  - If the ''​%''''​%''​ operator vote fails to achieve a 2/3 majority, should the intdiv() function patch be merged into master? Yes/No (requires 50%+1 majority, non-language change)
-  - If the ''​%%''​ operator vote fails to achieve a 2/3 majority, should the intdiv() function patch be merged into master? Yes/No (requires 50%+1 majority, non-language change)+
  
 As the ext/​standard function is to be considered a fallback option only, it would not be merged if the proper operator gets in. 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 ===== ===== Patches and Tests =====
Line 70: Line 83:
  
 ===== Implementation ===== ===== Implementation =====
-After the project is implemented,​ this section should contain ​ + 
-  - the version(s) it was merged ​to +It was merged ​into master here: https://​github.com/​php/​php-src/commit/​8e964fe665b6a4fbdc59639dad2efb4cd43d1c05 
-  ​a link to the git commit(s) + 
-  - a link to the PHP manual ​entry for the feature+It will be in PHP 7. Since there is no 5.7 branch, it is doubtful it will actually be in 5.7. 
 + 
 +PHP Manual - http://​php.net/​manual/​en/​function.intdiv.php
  
 ===== References ===== ===== References =====
  
-Somewhat inspired by Python'​s ''/''''/''​ operator, and the equivalent //div// operator in Pascal and Game Maker Language (a somewhat obscure C-like partially object-oriented scripting language, which probably inherited this from Pascal). The choice of the ''​%%''​ syntax is thanks to Bishop Bettini'​s suggestion on internals.+Somewhat inspired by Python'​s ''/''''/''​ operator, and the equivalent //div// operator in Pascal and Game Maker Language (a somewhat obscure C-like partially object-oriented scripting language, which probably inherited this from Pascal). The choice of the ''​%''''​%''​ syntax is thanks to Bishop Bettini'​s suggestion on internals.
  
 ===== Rejected Features ===== ===== Rejected Features =====
Line 85: Line 100:
 ===== Changelog ===== ===== Changelog =====
  
-  * 0.2 - Propose ''​%%''​ operator instead+  * 0.2 - Propose ''​%''''​%''​ operator instead
   * 0.1 - Created, intdiv() function   * 0.1 - Created, intdiv() function
rfc/intdiv.1405523798.txt.gz · Last modified: 2017/09/22 13:28 (external edit)