Added is_int function
[phpeclipse.git] / net.sourceforge.phpeclipse.xdebug.ui /
2004-12-06 walslebeninital