note 123527 added to function.is-integer

using function : if(is_integer($_POST[mobile_number])){ return true; //// 0-9 }else{ echo "Wrong number"; return false; } ---- Server IP: 208.43.231.9 Probable Submitter: 185.85.3.142 (proxied: 156.195.165.163) ---- Manual Page -- http://php.net/manual/en/function.is-integer.php Edit -- https://master.php.net/note/edit/123527 Del: integrated -- https://master.php.net/note/delete/123527/integrated Del: useless -- https://master.php.net/note/delete/123527/useless Del: bad code -- https://master.php.net/note/delete/123527/bad+code Del: spam -- https://master.php.net/note/delete/123527/spam Del: non-english -- https://master.php.net/note/delete/123527/non-english Del: in docs -- https://master.php.net/note/delete/123527/in+docs Del: other reasons-- https://master.php.net/note/delete/123527 Reject -- https://master.php.net/note/reject/123527 Search -- https://master.php.net/manage/user-notes.php