xdebug_php3_get_revision   28 xdebug_handler_php3.h char *xdebug_php3_get_revision(void);
xdebug_php3_get_revision   37 xdebug_handler_php3.h 	xdebug_php3_get_revision  \