Mirrors de.php.net de2.php.net de3.php.net broken

Hi, I think, you allready know - but just in case ..: The documentation on the mirrors de.php.net de2.php.net de3.php.net is broken ... http://de3.php.net/manual/en/ The manual page you are looking for (/manual/en/) is not available on this server right now. Please check back later, or if the problem persist, contact the webmasters. http://de3.php.net/manual/en/ Warning: opendir(/shares/ftp/galenski/www/htdocs/de2.php.net/manual/en) [function.opendir]: failed to open dir: No such file or directory in /shares/ftp/galenski/www/htdocs/de2.php.net/quickref.php on line 56 http://de.php.net/manual/en/ Warning: OpenDir: No such file or directory (errno 2) in /var/ftp/pub/mirror/www.php.net/quickref.php on line 56 At least http://us2.php.net/manual/en/ is up :-) Bye, Thomas.