php_restart        15 gtags-parser/php.c #define yyrestart php_restart
php_restart        15 htags/php.c    #define yyrestart php_restart