|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Doc Bug #67217 mirror does not work fully
Submitted: 2014-05-06 12:58 UTC Modified: 2014-05-08 16:48 UTC
Avg. Score:5.0 ± 0.0
Reproduced:0 of 0 (0.0%)
From: marcin at artigo dot pl Assigned:
Status: Duplicate Package: Systems 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: marcin at artigo dot pl
New email:
PHP Version: OS:


 [2014-05-06 12:58 UTC] marcin at artigo dot pl

It is impossible to use this syntax, which in case for polish users means that also this does not work:

Please disable this mirror from auto-detection.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2014-05-06 16:15 UTC]
-Package: Website problem +Package: Systems problem
 [2014-05-08 16:48 UTC]
-Status: Open +Status: Duplicate
PHP Copyright © 2001-2021 The PHP Group
All rights reserved.
Last updated: Thu Oct 21 21:03:32 2021 UTC