note 85782 added to gmp.resources
| From: | Numien at osu1 dot php dot net | Date: | Wed, 17 Sep 2008 16:52:33 +0000 |
| Subject: | note 85782 added to gmp.resources | ||
| Groups: | php.notes | ||
| Request: | Send a blank email to php-notes+get-144484@lists.php.net to get a copy of this message | ||
For a GMP number resource, get_resource_type() gives "GMP integer"
----
Server IP: 66.207.199.35
Probable Submitter: 64.229.226.107
----
Manual Page -- http://www.php.net/manual/en/gmp.resources.php
Edit -- https://master.php.net/note/edit/85782
Del: integrated -- https://master.php.net/note/delete/85782/integrated
Del: useless -- https://master.php.net/note/delete/85782/useless
Del: bad code -- https://master.php.net/note/delete/85782/bad+code
Del: spam -- https://master.php.net/note/delete/85782/spam
Del: non-english -- https://master.php.net/note/delete/85782/non-english
Del: in docs -- https://master.php.net/note/delete/85782/in+docs
Del: other reasons-- https://master.php.net/note/delete/85782
Reject -- https://master.php.net/note/reject/85782
Search -- https://master.php.net/manage/user-notes.php