mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
0f95b8c709
The $Id$ keywords were used in Subversion where they can be substituted with filename, last revision number change, last changed date, and last user who changed it. In Git this functionality is different and can be done with Git attribute ident. These need to be defined manually for each file in the .gitattributes file and are afterwards replaced with 40-character hexadecimal blob object name which is based only on the particular file contents. This patch simplifies handling of $Id$ keywords by removing them since they are not used anymore.
46 lines
1.3 KiB
PHP
46 lines
1.3 KiB
PHP
<?php
|
|
$_SERVER['BASE_PAGE'] = 'mirrors.php';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/layout.inc';
|
|
|
|
$header_config = array(
|
|
'current' => 'community',
|
|
'css' => array('mirror.css')
|
|
);
|
|
site_header("Mirror Sites", $header_config);
|
|
|
|
|
|
?>
|
|
<div id="mirrors-container">
|
|
|
|
<h1 class="title">Mirror Sites</h1>
|
|
|
|
<div class="mirrors-header">
|
|
<p>
|
|
Listed below are the official, active, and fully functional PHP.net mirrors.
|
|
Some mirrors might be missing from this list because mirrors are
|
|
automatically deactivated when problems arise. Mirrors are continuously
|
|
checked and reactivated when appropriate.
|
|
</p>
|
|
<p>
|
|
We suggest you <a href="my.php">choose</a> a PHP.net mirror that is
|
|
geographically close to you. All mirrors provide identical features and
|
|
services, with the only difference being the increased speed that close
|
|
mirrors provide. Your current mirror is highlighted in the list below.
|
|
</p>
|
|
<p>
|
|
If you are interested in hosting a mirror of this site,
|
|
<a href="/mirroring.php">read our mirroring page</a>.
|
|
</p>
|
|
</div>
|
|
|
|
<div class="mirrors-list">
|
|
<?php print_full_mirror_list() ?>
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<?php
|
|
site_footer();
|
|
|