© Dokumen ini menggunakan Manual laman web PHP Cina Lepaskan
(PHP 4, PHP 5, PHP 7)
is_integer — is_int() 的别名
此函数是 is_int() 的别名函数。