Fix non-html5 microhistory behavior

Signed-off-by: Atul Pratap Singh <atulpratapsingh05@gmail.com>

1 files changed, 2 insertions, 2 deletions

diff --git a/js/sql.js b/js/sql.js
index 8b01380076..e521709d21 100644
--- a/js/sql.js
+++ b/js/sql.js
@@ -390,7 +390,7 @@ AJAX.registerOnload('sql.js', function () {
                 if (data._menu) {
                     if (history && history.pushState) {
                         history.replaceState({
-                            menu : data._menu
+                                menu : data._menu
                             },
                             null
                         );
@@ -399,7 +399,7 @@ AJAX.registerOnload('sql.js', function () {
                         PMA_Microhistory.menus.replace(data._menu);
                         PMA_Microhistory.menus.add(data._menuHash, data._menu);
                     }
-                } else if (data._menuHash) {debugger;
+                } else if (data._menuHash) {
                     if (! (history && history.pushState)) {
                         PMA_Microhistory.menus.replace(PMA_Microhistory.menus.get(data._menuHash));
                     }