Added is_int function
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / icons / dlcl16 / th_vertical.gif
net.sourceforge.phpeclipse.debug.core/icons/dlcl16/th_vertical.gif