title: PHP file get contents with URL returns getaddrinfo failure
body: <p>I am trying to get the (pre-processed) content of an external PHP file:</p>
  
  <pre><code>file_get_contents('http://www.example.org/myfile.php');
  </code></pre>
  
  <p>When I do this, I get an error:</p>
  
  <blockquote>
    <p>Warning: file_get_contents() [function.file-get-contents]: php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in /Applications/XAMPP/xamppfiles/htdocs/...localfile.php on line 13</p>
  </blockquote>
  
  <p>And:</p>
  
  <blockquote>
    <p>Warning: file_get_contents(http://www.example.org/myfile.php) [function.file-get-contents]: failed to open stream: php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in /Applications/XAMPP/xamppfiles/htdocs/.../localfile.php on line 13</p>
  </blockquote>
  
  <p>Any ideas what I could do?</p>
  
  <p>Thanks in advance!</p>
  
  <p>EDIT: I do have allow_url_fopen set to "On".</p>