Searched refs:ctype_digit (Results 1 – 2 of 2) sorted by relevance
31 * @see ctype_digit33 function ctype_digit($text) function
810 if (!ctype_digit($char) && $char != '.') return false;