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
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.
use direct links with better link text and remove reference
to local search which is not working (and if it will work,
it will work on all mirror sites)
that important anymore, as we have user
based Accept-language parsing which
always overrides this (and last language
and user preferred language settings, which
also override the Accept-language info)
unofficial mirrors). But do not ignore VIRTUAL mirrors
in the get_download mirror list (allow downloads from
local unofficial mirrors, when the user is on that
particular mirror).
- Apply coding scheme used on other pages
- Add much more information to 'userspace' about
mirrors, why they might get delisted, the service
they provide, etc. Also more information on the
role of the default language.
- Depend only on mirror URLs, and the functions
now capable of providing information about any
mirror given it's URL. This makes this page
totally independent on the $MIRRORS array's
internal structure. Now it only relies on the
fact, that it's an associative array, with the
keys as the mirror URLs
- Do list special mirrors, but don't list outdated
mirrors. This is part of the modifications to move
from using the "special mirror" mark to delist a
mirror. The new array structure contains the status
information now, so we can depend on it.
At last, php.net will be listed on php.net as the
current mirror, and on other mirror's as being a
mirror site.
amounts to 336,467,736 bytes less traffic that www.php.net would have had to
send on Friday. (More or less.) Or 74,302,558 bytes less data that would have
been sent for requests to the home page so far this month.
