Fix AJAX favicon

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 6046ec4cf32c5842427438c0620d8405a529bd88..f6ad1bf7ac2aec3b5ecd8cd638d5a2fad25cb001 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -332,7 +332,9 @@ function ajaxSend(url, data, popState, noscroll) {
                                return ajaxSend(redirect, '', popState);
                        }
                        onblur = function () { };
-                       replaceFavicon(originalFavicon);
+                       if (originalFavicon) {
+                               replaceFavicon(originalFavicon);
+                       }
                        if (!xmlhttp.status) {
                                setHtml('loader', '');
                        } else {