Is it possible to resolve domain names to an IP address with PHP?
<p>Well, very simple question. So that's good news for you, I guess.</p>

<p>More thorough explanation:</p>

<p>I have a PHP script allowing me to add urls to a database. I want the script to resolve the url to an IP address as well, to store that, too. However, some of the URLs are like this:</p>

<p><code>http://111.111.111.111/~example/index.php</code></p>

<p>So it also needs to work with that.</p>

<p>I'm not <strong>SURE</strong> that this is possible, but it only makes sense it would be.</p>

<p>So: Is it possible, and if so, how?</p>
