Do not check for int type like this in PHP

1
2
3
4
5

function is_ints($s)
{
  $s:=$s[0]+0;
  if(gettype($s)=="integer"){return true}else{return false}
}