[web-php] PR #572: Fix: Remove unused parameter
| From: | localheinz | Date: | Tue, 28 Jun 2022 12:27:19 +0000 |
| Subject: | [web-php] PR #572: Fix: Remove unused parameter | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-30154@lists.php.net to get a copy of this message | ||
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";
```