From 9b12309e2be86d4d3240cc43e55773658853293b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=B6ller?= <am@localheinz.com>
Date: Thu, 7 Dec 2023 09:02:10 +0100
Subject: [PATCH] Fix: Remove useless function (#855)

---
 releases/8.2/common.php  | 6 ------
 releases/8.2/release.inc | 3 ---
 releases/8.3/common.php  | 6 ------
 releases/8.3/release.inc | 3 ---
 4 files changed, 18 deletions(-)

diff --git a/releases/8.2/common.php b/releases/8.2/common.php
index 755ce48a5..829f2df24 100644
--- a/releases/8.2/common.php
+++ b/releases/8.2/common.php
@@ -4,12 +4,6 @@ namespace releases\php82;
 
 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 480b67150..7fbacf9a4 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 3a28d7235..f32f69b73 100644
--- a/releases/8.3/common.php
+++ b/releases/8.3/common.php
@@ -4,12 +4,6 @@ namespace releases\php83;
 
 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 4e7aaf46a..0277ce66d 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));
 
 ?>