|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #63128 Mirrors fail on manual shortcuts URLs
Submitted: 2012-09-21 09:21 UTC Modified: 2012-09-21 09:24 UTC
From: _phpnet at oberst dot ca Assigned:
Status: Duplicate Package: Website problem
PHP Version: Irrelevant OS:
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.
Block user comment
Status: Assign to:
Bug Type:
From: _phpnet at oberst dot ca
New email:
PHP Version: OS:


 [2012-09-21 09:21 UTC] _phpnet at oberst dot ca
The PHP mirror sites (and redirection from seems to be failing on 
the "manual shortcut" URLs as described at, but 
they still work on ""

So goes directly to the manual page for the "explode" 
function as expected.  But "" fails through to the 
general "manual-lookup.php" search, as does "" and other 
mirrors I've tried.  Since "" redirects me to a mirror, the only way 
to get the documented behaviour right now is to go there directly.

The documentation states that "these shortcuts are expected to work on all mirror 
sites, not just at the main site", and I couldn't find a bug report or anything 
else that says this is broken or no longer valid.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2012-09-21 09:24 UTC]
we are having issues with our mirroring infrastructure currently, which causes missing the english docs, and I think that is the source of the issue 
you are experiencing.
you can track the original issue at
 [2012-09-21 09:24 UTC]
-Status: Open +Status: Duplicate
PHP Copyright © 2001-2020 The PHP Group
All rights reserved.
Last updated: Wed Apr 01 09:01:22 2020 UTC