diff --git a/js/src/navigation.js b/js/src/navigation.js
index 3ced1bee46..7cb1fa6290 100644
--- a/js/src/navigation.js
+++ b/js/src/navigation.js
@@ -1101,13 +1101,13 @@ Navigation.ResizeHandler = function () {
         if (window.MutationObserver) {
             var target = document.getElementById('floating_menubar');
             if (target) {
-                var observer = new MutationObserver(function (mutations) {
+                var observer = new MutationObserver(function () {
                     $('body').css('padding-top', $('#floating_menubar').outerHeight(true));
                 });
                 observer.observe(target, { attributes: true, childList: true, subtree: true });
             }
         }
-        
+
         $('#pma_console')
             .css('margin-' + this.left, (pos + resizerWidth) + 'px');
         $resizer.css(this.left, pos + 'px');