PHP_WHILE 310 gtags-parser/php_res.h {"While", PHP_WHILE}, PHP_WHILE 354 gtags-parser/php_res.h {"WHILE", PHP_WHILE}, PHP_WHILE 399 gtags-parser/php_res.h {"while", PHP_WHILE},