is_integer()

(PHP 4, PHP 5, PHP 7)

is_int()的别名

描述

此函数是is_int()的别名函数。

using function :
if(is_integer($_POST[mobile_number])){
 return true; //// 0-9
}else{
 echo "Wrong number";
return false;
}

There is no difference, per se. is_integer() is an alias of is_int().

There are two different functions. But, the reason why is beyond the scope of this article!

Could someone explain me, why there are 2 different functions:
is_int and is_integer?