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
 [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: Thu Apr 18 09:01:27 2024 UTC