Everything
php
RFC: intdiv()
Project Governance
PHP currently lacks a way to do integer division. While (int)(3 / 2), which does a floating-point division then casts to integer, does work most of the time, it...
Mailing List Discussions
Merge the intdiv operator patch into master?
Overall Results
Yes
5 Votes (17%)
No
24 Votes (83%)
Voting Timeline
Dates based on UTC
Voting Breakdown
If the operator vote fails to achieve a 2/3 majority, should the intdiv() function patch be merged into master?
Overall Results
Yes
28 Votes (100%)
No
0 Votes (0%)
Voting Timeline
Dates based on UTC