© This document uses PHP Chinese website manual Release
(PHP 4, PHP 5, PHP 7)
is_integer — is_int() 的别名
此函数是 is_int() 的别名函数。