[web-php] PR #855: Fix: Remove useless function
| From: | localheinz | Date: | Wed, 06 Dec 2023 13:34:25 +0000 |
| Subject: | [web-php] PR #855: Fix: Remove useless function | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-31162@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/web-php/pull/855
Author: localheinz
This pull request
- [x] removes a useless function
💁♂️ Running
```shell
git grep -i language_redirect
```
on current
master yields
```console
releases/8.2/common.php:7:function language_redirect(string $currentLang): void {
releases/8.2/release.inc:5:use function releases\php82\language_redirect;
releases/8.2/release.inc:16:language_redirect($lang);
releases/8.3/common.php:7:function language_redirect(string $currentLang): void {
releases/8.3/release.inc:5:use function releases\php83\language_redirect;
releases/8.3/release.inc:16:language_redirect($lang);
```