Added is_int function
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.ui / icons / eview16 / arguments_tab.gif
net.sourceforge.phpeclipse.debug.ui/icons/eview16/arguments_tab.gif