mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-06 06:37:33 +02:00
Code Issues Releases Wiki Activity

Compile: Fix type (fix #1027)

Browse Source
This commit is contained in:
Jakub Vrana
2025-04-13 16:33:26 +02:00
parent a9bcde334f
commit a3d0bbba8f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile.php
View File

@@ -165,7 +165,7 @@ function put_file_lang($match) {
case "' . $lang . '": $compressed = "' . add_quo_slashes(lzw_compress(implode("\n", $translation_ids))) . '"; break;'; case "' . $lang . '": $compressed = "' . add_quo_slashes(lzw_compress(implode("\n", $translation_ids))) . '"; break;';
} }
$translations_version = crc32($return); $translations_version = crc32($return);
return 'Lang::$translations = $_SESSION["translations"]; return 'Lang::$translations = (array) $_SESSION["translations"];
if ($_SESSION["translations_version"] != LANG . ' . $translations_version . ') { if ($_SESSION["translations_version"] != LANG . ' . $translations_version . ') {
Lang::$translations = array(); Lang::$translations = array();
$_SESSION["translations_version"] = LANG . ' . $translations_version . '; $_SESSION["translations_version"] = LANG . ' . $translations_version . ';