[php] PHP php_network_getaddresses: getaddrinfo failed: No such host is known