php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #42442 id.php.net is dead
Submitted: 2007-08-27 10:16 UTC Modified: 2007-08-27 12:31 UTC
From: hans at soeharso dot net Assigned:
Status: Not a bug Package: Systems problem
PHP Version: 5.2.3 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: hans at soeharso dot net
New email:
PHP Version: OS:

 

 [2007-08-27 10:16 UTC] hans at soeharso dot net 
Description:
------------
Dear Support,

id.php.net is no longer available. Please delete mirror site id.php.net from php.net site. Also, please redirect the search function to www.php.net. Currently, it still redirecting to id.php.net.

Thank you.
-Hans Soeharso

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2007-08-27 10:18 UTC] jani@php.net 
reclassified.
 [2007-08-27 12:31 UTC] bjori@php.net 
We have system to track broken mirrors.

The system checks all mirrors every hour and removes broken mirrors from our mirror lists and redirections.
This can take up to two hours to sync to all mirrors and therefore it may have happened you got redirected to id.php.net during that synchronizing.

As long as you don't type in "id.php.net" into your browser you should not be redirected there.
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved. 		Last updated: Fri May 10 11:01:32 2024 UTC