[web-php] master: Fix: Remove useless function (#855)

Author: Andreas Möller (localheinz) Committer: GitHub (web-flow) Pusher: saundefined Date: 2023-12-07T11:02:10+03:00 Commit: https://github.com/php/web-php/commit/9b12309e2be86d4d3240cc43e55773658853293b Raw diff: https://github.com/php/web-php/commit/9b12309e2be86d4d3240cc43e55773658853293b.diff Fix: Remove useless function (#855) Changed paths: M releases/8.2/common.php M releases/8.2/release.inc M releases/8.3/common.php M releases/8.3/release.inc Diff: diff --git a/releases/8.2/common.php b/releases/8.2/common.php index 755ce48a53..829f2df248 100644 --- a/releases/8.2/common.php +++ b/releases/8.2/common.php @@ -4,12 +4,6 @@ include_once __DIR__ . '/../../include/prepend.inc'; -function language_redirect(string $currentLang): void { - // We don't use the general language selection of php.net, - // so soldier on with this one. - return; -} - function common_header(string $description): void { global $MYSITE; diff --git a/releases/8.2/release.inc b/releases/8.2/release.inc index 480b671509..7fbacf9a4b 100644 --- a/releases/8.2/release.inc +++ b/releases/8.2/release.inc @@ -2,7 +2,6 @@ use function releases\php82\common_header; use function releases\php82\language_chooser; -use function releases\php82\language_redirect; use function releases\php82\message; if (!isset($lang)) { @@ -13,8 +12,6 @@ $_SERVER['BASE_PAGE'] = 'releases/8.2/' . $lang . '.php'; include_once __DIR__ . '/common.php'; -language_redirect($lang); - common_header(message('common_header', $lang)); ?> diff --git a/releases/8.3/common.php b/releases/8.3/common.php index 3a28d7235c..f32f69b730 100644 --- a/releases/8.3/common.php +++ b/releases/8.3/common.php @@ -4,12 +4,6 @@ include_once __DIR__ . '/../../include/prepend.inc'; -function language_redirect(string $currentLang): void { - // We don't use the general language selection of php.net, - // so soldier on with this one. - return; -} - function common_header(string $description): void { global $MYSITE; diff --git a/releases/8.3/release.inc b/releases/8.3/release.inc index 4e7aaf46aa..0277ce66d6 100644 --- a/releases/8.3/release.inc +++ b/releases/8.3/release.inc @@ -2,7 +2,6 @@ use function releases\php83\common_header; use function releases\php83\language_chooser; -use function releases\php83\language_redirect; use function releases\php83\message; if (!isset($lang)) { @@ -13,8 +12,6 @@ $_SERVER['BASE_PAGE'] = 'releases/8.3/' . $lang . '.php'; include_once __DIR__ . '/common.php'; -language_redirect($lang); - common_header(message('common_header', $lang)); ?>