[php] gethostbyaddress -> gethostbyaddr (closes #3259)