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

Move $LANG and get_lang() to LANG

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-28 18:11:26 +01:00
parent f0920af6b7
commit 508baa8c6b
5 changed files with 21 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
compile.php
View File

@@ -38,7 +38,7 @@ function lang_ids($match) {
function put_file($match) {
global $project, $vendor;
if (basename($match[2]) == '$LANG.inc.php') {
if (preg_match('~LANG~', $match[2])) {
return $match[0]; // processed later
}
$return = file_get_contents(__DIR__ . "/$project/$match[2]");
@@ -195,7 +195,7 @@ function get_translations($lang) {
}
if (!$translations) {
$translations = get_translations($LANG);
$translations = get_translations(LANG);
$_SESSION["translations"] = $translations;
}
';
@@ -342,13 +342,13 @@ if ($project == "editor") {
$file = preg_replace('~compile_file\(\'\.\./(externals/jush/modules/jush\.js)[^)]+\)~', "''", $file);
}
$file = preg_replace_callback("~lang\\('((?:[^\\\\']+|\\\\.)*)'([,)])~s", 'lang_ids', $file);
$file = preg_replace_callback('~\b(include|require) "([^"]*\$LANG.inc.php)";~', 'put_file_lang', $file);
$file = preg_replace_callback('~\b(include|require) "([^"]*" . LANG . ".inc.php)";~', 'put_file_lang', $file);
$file = str_replace("\r", "", $file);
if ($_SESSION["lang"]) {
// single language version
$file = preg_replace_callback("~(<\\?php\\s*echo )?lang\\('((?:[^\\\\']+|\\\\.)*)'([,)])(;\\s*\\?>)?~s", 'remove_lang', $file);
$file = str_replace("switch_lang();", "", $file);
$file = str_replace('<?php echo $LANG; ?>', $_SESSION["lang"], $file);
$file = str_replace('<?php echo LANG; ?>', $_SESSION["lang"], $file);
}
$file = str_replace('echo script_src("static/editing.js");' . "\n", "", $file); // merged into functions.js
$file = preg_replace('~\s+echo script_src\("\.\./externals/jush/modules/jush-(textarea|txt|js|" \. JUSH \. ")\.js"\);~', '', $file); // merged into jush.js