php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #70203 docs server not updated anymore
Submitted: 2015-08-06 12:47 UTC Modified: 2015-08-20 12:21 UTC
From: cmb@php.net Assigned: cmb (profile)
Status: Closed Package: Doc Build problem
PHP Version: Irrelevant OS: n/a
Private report: No CVE-ID: None
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
Package:
Bug Type:
Summary:
From: cmb@php.net
New email:
PHP Version: OS:

 

 [2015-08-06 12:47 UTC] 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.



Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2015-08-20 12:21 UTC] cmb@php.net
-Status: Open +Status: Closed -Assigned To: +Assigned To: cmb
 [2015-08-20 12:21 UTC] cmb@php.net
The issue has been resolved.
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Mon Oct 07 11:01:28 2024 UTC