note 14249 deleted from function.is-int by jimw
| From: | jimw@php.net | Date: | Thu, 20 Dec 2001 23:34:29 +0000 |
| Subject: | note 14249 deleted from function.is-int by jimw | ||
| References: | 1 | Groups: | php.notes |
| Request: | Send a blank email to php-notes+get-23575@lists.php.net to get a copy of this message | ||
I have used:
if(("".($ID*1))!=$ID) {
... exit ...
}