php__delete_buffer 1784 htags/php.c void php__delete_buffer (YY_BUFFER_STATE b ) php__delete_buffer 1894 libparser/php.c void php__delete_buffer (YY_BUFFER_STATE b )