]> git.joonet.de Git - adminer.git/commitdiff
Remove unnecessary quotes
authorJakub Vrana <jakub@vrana.cz>
Tue, 6 Feb 2018 15:25:58 +0000 (16:25 +0100)
committerJakub Vrana <jakub@vrana.cz>
Tue, 6 Feb 2018 15:25:58 +0000 (16:25 +0100)
compile.php

index 4496047bc998b87dfeb0f3f154f436cb6465a3db..5b74e9b382e44afc2cd206a9302deff9aa9300b5 100755 (executable)
@@ -21,7 +21,7 @@ function remove_lang($match) {
        $idf = strtr($match[2], array("\\'" => "'", "\\\\" => "\\"));
        $s = ($translations[$idf] ? $translations[$idf] : $idf);
        if ($match[3] == ",") { // lang() has parameters
-               return "$match[1]" . (is_array($s) ? "lang(array('" . implode("', '", array_map('add_apo_slashes', $s)) . "')," : "sprintf('" . add_apo_slashes($s) . "',");
+               return $match[1] . (is_array($s) ? "lang(array('" . implode("', '", array_map('add_apo_slashes', $s)) . "')," : "sprintf('" . add_apo_slashes($s) . "',");
        }
        return ($match[1] && $match[4] ? $s : "$match[1]'" . add_apo_slashes($s) . "'$match[4]");
 }