Bug #70203 [Opn->Csd]: docs server not updated anymore

Edit report at https://bugs.php.net/bug.php?id=70203&edit=1 ID: 70203 Updated by: cmb@php.net Reported by: cmb@php.net Summary: docs server not updated anymore -Status: Open +Status: Closed Type: Bug Package: Doc Build problem Operating System: n/a PHP Version: Irrelevant -Assigned To: +Assigned To: cmb Block user comment: N Private report: N New Comment: The issue has been resolved. Previous Comments: ------------------------------------------------------------------------ [2015-08-06 12:47:14] cmb@php.net Description: ------------ It seems that the docs server is not updated in the expected intervals anymore. For instance, I committed rev 337283 more than two days ago, but it's still missing from docs, even though it is available on php.net. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=70203&edit=1