Added is_int function
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / icons / full / obj16 / php.gif
net.sourceforge.phpeclipse.ui/icons/full/obj16/php.gif