Compile: Fix type (fix #1027)

diff --git a/compile.php b/compile.php
index 561005fb950b23967a5d4e42bf9b315833bfd979..9b821274f8b8c1a4587d34047519b29ee7f563cb 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -165,7 +165,7 @@ function put_file_lang($match) {
                case "' . $lang . '": $compressed = "' . add_quo_slashes(lzw_compress(implode("\n", $translation_ids))) . '"; break;';
        }
        $translations_version = crc32($return);
-       return 'Lang::$translations = $_SESSION["translations"];
+       return 'Lang::$translations = (array) $_SESSION["translations"];
 if ($_SESSION["translations_version"] != LANG . ' . $translations_version . ') {
        Lang::$translations = array();
        $_SESSION["translations_version"] = LANG . ' . $translations_version . ';