Fix switching language in compiled version

diff --git a/adminer/include/lang.inc.php b/adminer/include/lang.inc.php
index 41132e7548df3b53e2a5115f55487e3f191b6e33..c3ac8a72cbf7f32194123142714c57aa2fb94292 100644 (file)
--- a/adminer/include/lang.inc.php
+++ b/adminer/include/lang.inc.php
@@ -81,6 +81,7 @@ function switch_lang() {
 if (isset($_POST["lang"]) && $_SESSION["token"] == $_POST["token"]) { // $token and $error not yet available
        cookie("adminer_lang", $_POST["lang"]);
        $_SESSION["lang"] = $_POST["lang"]; // cookies may be disabled
+       $_SESSION["translations"] = array(); // used in compiled version
        redirect(remove_from_uri());
 }
 

diff --git a/compile.php b/compile.php
index 0f2d7ad81ad31c3cfed49535a2c9106e700c5457..f727d5bfa2b4959123ca0ff6e4cdeb9a45be8734 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -119,7 +119,7 @@ if ($_SESSION["translations_version"] != ' . $translations_version . ') {
        $translations = array();
        $_SESSION["translations_version"] = ' . $translations_version . ';
 }
-if ($_GET["lang"] || !$translations) {
+if (!$translations) {
        switch ($LANG) {' . $return . '
        }
        $translations = array();