note 107334 added to function.ctype-digit

<?php // use ctype_digit((string) 42); // true // or function ctype_int($pFoo) { return ctype_digit((string) $pFoo); } ctype_int(42); // true ?> ---- Server IP: 89.31.146.176 Probable Submitter: 88.176.76.56 ---- Manual Page -- http://www.php.net/manual/en/function.ctype-digit.php Edit -- https://master.php.net/note/edit/107334 Del: integrated -- https://master.php.net/note/delete/107334/integrated Del: useless -- https://master.php.net/note/delete/107334/useless Del: bad code -- https://master.php.net/note/delete/107334/bad+code Del: spam -- https://master.php.net/note/delete/107334/spam Del: non-english -- https://master.php.net/note/delete/107334/non-english Del: in docs -- https://master.php.net/note/delete/107334/in+docs Del: other reasons-- https://master.php.net/note/delete/107334 Reject -- https://master.php.net/note/reject/107334 Search -- https://master.php.net/manage/user-notes.php