cvs: phpweb / mirror.php

goba Tue Jan 27 03:42:12 2004 EDT Modified files: /phpweb mirror.php Log: more info on official mirrors, and it is only possible to know the provider name if we are dealing with an official mirror, so do not print otherwise http://cvs.php.net/diff.php/phpweb/mirror.php?r1=1.8&r2=1.9&ty=u Index: phpweb/mirror.php diff -u phpweb/mirror.php:1.8 phpweb/mirror.php:1.9 --- phpweb/mirror.php:1.8 Wed Aug 13 07:06:57 2003 +++ phpweb/mirror.php Tue Jan 27 03:42:11 2004 @@ -1,5 +1,5 @@ <?php -// $Id: mirror.php,v 1.8 2003/08/13 11:06:57 goba Exp $ +// $Id: mirror.php,v 1.9 2004/01/27 08:42:11 goba Exp $ $_SERVER['BASE_PAGE'] = 'mirror.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Information About This PHP Mirror Site"); @@ -11,7 +11,9 @@ Here you can get more information about this PHP Mirror site, as well as some details about the provider. The information you find here may be helpful in choosing your preferred mirror site for your - everyday work. + everyday work. Note that the PHP.net webmaster team is only capable + of tracking official mirror sites, and trying to ensure that those + provide the best service possible. </p> <h2>General Information</h2> @@ -19,7 +21,9 @@ <ul> <li>This site is <?php echo is_official_mirror() ? "" : "not"; ?> an official PHP.net mirror site</li> <li>The mirror site's address is <?php print_link($MYSITE); ?></li> + <?php if (is_official_mirror()) { ?> <li>The provider of this mirror is <?php print_link(mirror_provider_url(), mirror_provider()); ?></li> + <?php } ?> </ul> <h2>Mirror Services</h2>