DNS_T_TXT         102 ext/standard/dns.c #ifndef DNS_T_TXT
DNS_T_TXT         376 ext/standard/dns.c 		else if (!strcasecmp("TXT",   rectype)) type = DNS_T_TXT;
DNS_T_TXT         507 ext/standard/dns.c 		case DNS_T_TXT:
DNS_T_TXT         816 ext/standard/dns.c 				type_to_fetch = type_param&PHP_DNS_TXT   ? DNS_T_TXT   : 0;