DNS_TYPE_TEXT     118 ext/standard/dns_win32.c 		else if (!strcasecmp("TXT",   rectype)) type = DNS_TYPE_TEXT;
DNS_TYPE_TEXT     204 ext/standard/dns_win32.c 		case DNS_TYPE_TEXT:
DNS_TYPE_TEXT     427 ext/standard/dns_win32.c 				type_to_fetch = type_param&PHP_DNS_TXT   ? DNS_TYPE_TEXT   : 0;