Fix: Remove useless function (#855)

php · Dec 7, 2023 · 9b12309 · 9b12309
1 parent c093fb5
commit 9b12309
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 18 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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));
 
 ?>