note 121917 added to language.types.integer
| From: | egwayjen at gmail dot com | Date: | Mon, 27 Nov 2017 10:01:06 +0000 |
| Subject: | note 121917 added to language.types.integer | ||
| Groups: | php.notes | ||
| Request: | Send a blank email to php-notes+get-209220@lists.php.net to get a copy of this message | ||
"There is no integer division operator in PHP". But since PHP 7, there is the intdiv
function.
----
Server IP: 208.43.231.9
Probable Submitter: 82.217.135.236
----
Manual Page -- http://php.net/manual/en/language.types.integer.php
Edit -- https://master.php.net/note/edit/121917
Del: integrated -- https://master.php.net/note/delete/121917/integrated
Del: useless -- https://master.php.net/note/delete/121917/useless
Del: bad code -- https://master.php.net/note/delete/121917/bad+code
Del: spam -- https://master.php.net/note/delete/121917/spam
Del: non-english -- https://master.php.net/note/delete/121917/non-english
Del: in docs -- https://master.php.net/note/delete/121917/in+docs
Del: other reasons-- https://master.php.net/note/delete/121917
Reject -- https://master.php.net/note/reject/121917
Search -- https://master.php.net/manage/user-notes.php