From 87bcee5534dddafa9753690fb896a53f1c3278db Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Mon, 30 Nov 2020 19:53:07 +0100
Subject: [PATCH] Use own language selection for PHP 8 release page

The general language selection capability of php.net is nice, but it
does not allow to have translations of the PHP 8 release page which do
not have active doc translations.  To circumvent this limitation, we
use an own super simple language selection capability for the PHP 8
release page.  We do not even bother to support non JS enabled clients,
since that was not supported before, although it could be done.
---
 releases/8.0/common.php | 22 ++--------------------
 1 file changed, 2 insertions(+), 20 deletions(-)

diff --git a/releases/8.0/common.php b/releases/8.0/common.php
index d44f59e5cb..748f762637 100644
--- a/releases/8.0/common.php
+++ b/releases/8.0/common.php
@@ -4,25 +4,7 @@
 include_once __DIR__ . '/../../include/prepend.inc';
 
 function language_redirect(string $currentLang): void {
-    global $LANG;
-
-    // At the time of writing, $LANG is safely ^\w{2}(-\w{2})?$
-    // However, since it may be user-sourced,
-    // be extra careful about how we use it.
-    $baseLANG = basename($LANG);
-    $urlLANG = urlencode($LANG);
-
-    if ($LANG === $currentLang) {
-        // We're on the right page for our language. Stay here.
-        return;
-    }
-
-    if (file_exists(__DIR__ . "/$baseLANG.php")) {
-        \mirror_redirect("/releases/8.0/$urlLANG.php?lang=$urlLANG");
-        exit;
-    }
-
-    // We don't have a translation as requested,
+    // We don't use the general language selection of php.net,
     // so soldier on with this one.
     return;
 }
@@ -73,7 +55,7 @@ function language_chooser(string $currentLang): void {
       <form action="" method="get" id="changelang" name="changelang">
         <fieldset>
           <label for="changelang-langs">Change language:</label>
-          <select onchange="document.changelang.submit()" name="lang" id="changelang-langs">
+          <select onchange="location = this.value + \'.php\'" name="lang" id="changelang-langs">
 ';
 
     $tab = '            ';