Re: is_digits() and digits type
| From: | Lauri Kenttä | Date: | Tue, 12 May 2015 12:24:43 +0000 |
| Subject: | Re: is_digits() and digits type | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-86166@lists.php.net to get a copy of this message | ||
On 2015-05-12 03:56, Yasuo Ohgaki wrote:
- is_numeric() and numeric type for float like stringFYI, there's ctype_digit($s) and preg_match('/^[0-9]+$/s', $s); Adding more functions would be only confusing, I think. -- Lauri Kenttä