Como posso resolver o nome do host para o endereço IP usando PHP, mas usando um servidor de nomes diferente (por exemplo,OpenDNS ouDNS público do Google).

Não parece quedns_get_record() ougethostbyname() são capazes de usar um servidor de nomes diferente daquele atualmente configurado no sistema (em configurações TCP / IP ou/etc/resolv.conf).

A única maneira que eu encontrei é usando PEAR classe Net / DNS, mas me dá muitos avisos em PHP 5.4