Change language by JS for AJAX

diff --git a/adminer/include/lang.inc.php b/adminer/include/lang.inc.php
index 1a12d44cca099a2182f2eabeca6b18e789466f11..c1d8fc4a2c8ba39e0b577d96e96010173037bd06 100644 (file)
--- a/adminer/include/lang.inc.php
+++ b/adminer/include/lang.inc.php
@@ -51,7 +51,7 @@ function switch_lang() {
        global $LANG, $langs;
        echo "<form action=''>\n<div id='lang'>";
        hidden_fields($_GET, array('lang'));
-       echo lang('Language') . ": " . html_select("lang", $langs, $LANG, "this.form.submit();");
+       echo lang('Language') . ": " . html_select("lang", $langs, $LANG, "var loc = location.search.replace(/[?&]lang=[^&]*/, ''); location.search = loc + (loc ? '&' : '') + 'lang=' + this.value;");
        echo " <input type='submit' value='" . lang('Use') . "' class='hidden'>\n";
        echo "</div>\n</form>\n";
 }