|  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
 [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-2021 The PHP Group
All rights reserved.
Last updated: Mon Sep 27 23:03:36 2021 UTC