php_set_extra     699 htags/php.c    void php_set_extra (YY_EXTRA_TYPE user_defined  );
php_set_extra     837 libparser/php.c void php_set_extra (YY_EXTRA_TYPE user_defined  );