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