Bug #67638 [NEW]: Unable to fetch php.net stylesheet

From: sobak Operating system: Windows 7 PHP version: Irrelevant Package: Doc Build problem Bug Type: Bug Bug description:Unable to fetch php.net stylesheet 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 -- Edit bug report at https://bugs.php.net/bug.php?id=67638&edit=1 --