Update download link to point to downloads.php

[vincent-bru]

No description provided.

[sy-records]

Normally, when I visit /downloads, I should be redirected to /downloads.php. It works fine when I test it locally, but for some reason it doesn't work on php.net.

web-php/error.php

Lines 188 to 194 in 03ab57c

	// Redirect if the entered URI was a PHP page name (except some pages,
	// which we display in the mirror's language or the explicitly specified
	// language [see below])
	if (!in_array($URI, ['mirror-info', 'error', 'mod'], true) &&
	file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
	mirror_redirect("/$URI.php");
	}

Could you take a look at this? @derickr

[vincent-bru]

Normally, when I visit /downloads, I should be redirected to /downloads.php. It works fine when I test it locally, but for some reason it doesn't work on php.net.

Could you take a look at this? @derickr

It means it is a server config thing. (htaccess not hitting the right spot?)