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
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
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

Add a Patch

Pull Requests

Add a Pull Request

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-2022 The PHP Group
All rights reserved.
Last updated: Mon May 23 15:05:45 2022 UTC