php_get_extra     697 htags/php.c    YY_EXTRA_TYPE php_get_extra (void );
php_get_extra     835 libparser/php.c YY_EXTRA_TYPE php_get_extra (void );