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 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

Pull Requests

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-2025 The PHP Group
All rights reserved. 		Last updated: Wed Jan 15 10:01:29 2025 UTC