JavaScript Editor Javascript debugger     Website design 

is_integer

Alias of is_int (PHP 4, PHP 5)

This function is an alias of: is_int().