Don't use AJAX with Alt

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 9307f0f0040a3174694afd3e5ecaee04ca8b32f8..ce3061539637bf5fb5c662e0d60e1d2feb8917e0 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -191,7 +191,7 @@ function ajax(url, callback, data) {
                        xmlhttp.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded');
                }
                xmlhttp.setRequestHeader('X-Requested-With', 'XMLHttpRequest');
-               xmlhttp.onreadystatechange = function (text) {
+               xmlhttp.onreadystatechange = function () {
                        if (xmlhttp.readyState == 4) {
                                var redirect = xmlhttp.getResponseHeader('X-AJAX-Redirect');
                                if (redirect && history.replaceState) {
@@ -222,8 +222,7 @@ function ajaxSetHtml(url) {
        });
 }
 
-var ajaxState = 0;
-var ajaxTimeout;
+var ajaxState = 0, ajaxTimeout;
 
 /** Safely load content to #content
 * @param string
@@ -279,7 +278,7 @@ function ajaxSend(url, data) {
 * @return XMLHttpRequest or false in case of an error
 */
 function ajaxMain(url, data, event) {
-       if (!history.pushState || (event && (event.ctrlKey || event.shiftKey || event.metaKey))) {
+       if (!history.pushState || (event && (event.ctrlKey || event.shiftKey || event.altKey || event.metaKey))) {
                return false;
        }
        history.pushState(data, '', url);

diff --git a/editor/static/editing.js b/editor/static/editing.js
index 70998ba64391eebf68018f5b00040d9ea0331daa..b49666b29d5c94c5ff394b940865f19360e07678 100644 (file)
--- a/editor/static/editing.js
+++ b/editor/static/editing.js
@@ -1,4 +1,4 @@
 // Editor specific functions
 
-function bodyLoad(version) {
+function bodyLoad(version, protocol) {
 }