PHP_DOLLAR 1220 gtags-parser/php.c { ECHO; return PHP_DOLLAR; } PHP_DOLLAR 2204 gtags-parser/php.c case PHP_DOLLAR: