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 back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but you forgot your password, you can retrieve your password here.
Password:
Status:
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 Apr 19 16:01:27 2024 UTC