Bug #67638 [Opn->Csd]: Unable to fetch php.net stylesheet

Edit report at https://bugs.php.net/bug.php?id=67638&edit=1 ID: 67638 Updated by: sobak@php.net Reported by: sobak@php.net Summary: Unable to fetch php.net stylesheet -Status: Open +Status: Closed Type: Bug Package: Doc Build problem Operating System: Windows 7 PHP Version: Irrelevant -Assigned To: +Assigned To: sobak Block user comment: N Private report: N Previous Comments: ------------------------------------------------------------------------ [2014-07-17 08:22:38] sobak@php.net 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 this bug report at https://bugs.php.net/bug.php?id=67638&edit=1