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