mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
43 lines
1.3 KiB
PHP
43 lines
1.3 KiB
PHP
<?php
|
|
// $Id$
|
|
$_SERVER['BASE_PAGE'] = 'mirror.php';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
|
site_header("Information About This PHP Mirror Site");
|
|
?>
|
|
|
|
<h1>Information About This PHP Mirror Site</h1>
|
|
|
|
<p>
|
|
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. 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>
|
|
|
|
<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>
|
|
|
|
<ul>
|
|
<li>Default language is <?php echo $LANGUAGES[default_language()]; ?></li>
|
|
<li>Local visitor statistics are <?php echo have_stats() ? "available" : "not available"; ?></li>
|
|
</ul>
|
|
|
|
<h2>Mirror Status</h2>
|
|
|
|
<ul>
|
|
<li>The site was last updated at <?php echo strftime("%c %Z", $LAST_UPDATED); ?></li>
|
|
</ul>
|
|
|
|
<?php site_footer(); ?>
|