is_integer

( PHP 3 , PHP 4 )

is_integer -- Alias of is_int()

Description