mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
dd8d8bf863
This patch adds some missing newlines, trims some multiple redundant final newlines into a single one, and trims few redundant leading newlines. According to POSIX, a line is a sequence of zero or more non-'<newline>' characters plus a terminating '<newline>' character. [1] Files should normally have at least one final newline character. C89 [2] and later standards [3] mention a final newline: "A source file that is not empty shall end in a new-line character, which shall not be immediately preceded by a backslash character." Although it is not mandatory for all files to have a final newline fixed, a more consistent and homogeneous approach brings less of commit differences issues and a better development experience in certain text editors and IDEs. [1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206 [2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2 [3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
45 lines
1.3 KiB
PHP
45 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();
|