Description:
------------
During documentation build on my local machine I've encountered this error:

"[21:35:37 - Rendering Format      ] Starting PHP-Chunked-XHTML rendering    
[21:35:41 - E_WARNING            ] C:\WWW\xampp\htdocs\phd\phpdotnet\phd\Pac 
e\PHP\ChunkedXHTML.php:133                                                  
        file_get_contents(): php_network_getaddresses: getaddrinfo failed: 
[21:35:41 - E_WARNING            ] C:\WWW\xampp\htdocs\phd\phpdotnet\phd\Pac 
e\PHP\ChunkedXHTML.php:133                                                  
        file_get_contents(http://www.php.net/styles/theme-base.css): failed t 
pen stream: php_network_getaddresses: getaddrinfo failed                   
[21:35:41 - E_USER_WARNING        ] C:\WWW\xampp\htdocs\phd\phpdotnet\phd\Pac 
e\PHP\ChunkedXHTML.php:139                                                  
        Stylesheet http://www.php.net/styles/theme-base.css not fetched. Uses 
fault rendering style."

Strange thing for me - code like php -r "file_get_contents('http://www.php.net/styles/theme-base.css not fetched')" works fine.

I noticed that many logs in doc.php.net/logs directory also contain such errors, so I don't think that problem is on my side.

What causes this errors? DNS configuration on php.net? If yes, it means that this report is in wrong category, but I'm not sure so I filled it as PhD problem.

Regards.

Test script:
---------------
php render.php -d ../phpdoc/doc-base/.manual.xml -P PHP -f xhtml