Avoid referencing global variable (doesn't work in PHP 7.1 if Adminer is included...

diff --git a/compile.php b/compile.php
index 354b1cf6e2aa55cc4331df36dbf351bbeca83d06..4015d7a72720fbe51a6c613e0c9a179e2b8cc3e1 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -134,7 +134,7 @@ function put_file_lang($match) {
                case "' . $lang . '": $compressed = "' . add_quo_slashes(lzw_compress(implode("\n", $translation_ids))) . '"; break;';
        }
        $translations_version = crc32($return);
-       return '$translations = &$_SESSION["translations"];
+       return '$translations = $_SESSION["translations"];
 if ($_SESSION["translations_version"] != ' . $translations_version . ') {
        $translations = array();
        $_SESSION["translations_version"] = ' . $translations_version . ';
@@ -152,6 +152,7 @@ function get_translations($lang) {
 
 if (!$translations) {
        $translations = get_translations($LANG);
+       $_SESSION["translations"] = $translations;
 }
 ';
 }