php.net headaches

[l008com]

Is anyone else having a problem where you search the PHP manual, and the search results keep sending you to results on us3.php.net, which is a mirror that is apparently dead? Its been happening to me daily, for at least a week or two now. It drives me crazy cause I always use a dashboard widget to search for functions, which always sends me into the php site from scratch, where I often get redirected to the dead mirror.

[laserlight]

You might want to notify the people who maintain the re-direction to the mirrors. The PHP general mailing list might be a place to start.

[Weedpacket]

In the meantime you can force a particular mirror on www.php.net/my.php.

[l008com]

Oh now thats cool I didn't know you could do that :-)