With this diff, version.inc will ONLY export one "variable" named
$RELEASES which will continue to have the same format as previous.
It will also export a helper method named release_get_latest()
for quickly accessing the most recent version published.
All other globals previously exported by this function are
no longer used on web-php.
The php.net/reST pages once served some source code files. It has been
removed via 74bc9e6ad7 in 2013 so these
redirections are most likely not relevant anymore for PHP.net audience.
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.
This test was below (way below) the $URI = strtolower($URI) line, so
when browsing to /manual/pt_BR/function.strpos we were looking for
/manual/pt_br/function.strpos.php which doesn't exist (on case-sensitive
filesystems).
Note: This is a quick fix... if it causes (significant) issues, we might
have to think of a more involved solution than shuffling the code up the
file by a few hundred lines.
Remove reduntant/duplicate code between do-download and get-download
Also make this page more interesting when the download is missing from
this specific mirror by give the choise of going to other mirrors to check.
Rather then blindly go to the download file though we go to the same page
on the other mirror so we can check if the file exists there before giving
the link to the actual real file.
This also makes it a lot easier to work with on developers checkouts
