Pull Request: https://github.com/php/web-php/pull/572
Author: localheinz
This pull request
- [x] removes an unused parameter `$mirror`
💁♂️ Running
```shell
git grep download_link`
```
on current `master` yields
```
downloads.php:60: <?php download_link($rel['filename'],
$rel['filename']); ?>
gpg-keys.php:23: <?php download_link('php-keyring.gpg', 'php-keyring.gpg'); ?>
include/layout.inc:195:function download_link($file, $title, $showsize = TRUE,
$mirror = '')
include/layout.inc:197: $download_link = "/distributions/" . $file;
include/layout.inc:200: print_link($download_link, $title);
releases/index.php:218: download_link($src["filename"],
$src["name"]); echo "<br>\n";
```
--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
