Save translations version

diff --git a/compile.php b/compile.php
index e21b3744a8b1b5b55b7875975512ed0347b847e1..4652ac93ec51b25d77411cc2170ae84c89089372 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -114,9 +114,15 @@ function put_file_lang($match) {
                }
                $all_translations[$lang] = $translation_ids;
        }
+       $all_translations = serialize($all_translations);
+       $translations_version = crc32($all_translations);
        return '$translations = &$_SESSION["translations"];
+if ($_SESSION["translations_version"] != ' . $translations_version . ') {
+       $translations = array();
+       $_SESSION["translations_version"] = ' . $translations_version . ';
+}
 if ($_GET["lang"] || !$translations) {
-       $all_translations = unserialize(lzw_decompress(\'' . add_apo_slashes(lzw_compress(serialize($all_translations))) . '\'));
+       $all_translations = unserialize(lzw_decompress(\'' . add_apo_slashes(lzw_compress($all_translations)) . '\'));
        $translations = $all_translations[$LANG];
 }
 ';