Refresh navigation after copying database (bug #3081099, patch# 3091778).

js/db_operations.js

@@ -93,7 +93,8 @@ $(document).ready(function() {
                 if( $("#checkbox_switch").is(":checked")) {
                     window.parent.db = data.newname;
                     window.parent.refreshMain();
-                }
+                    window.parent.refreshNavigation();
+               }
             }
             else {
                 PMA_ajaxShowMessage(data.error);
@@ -123,4 +124,4 @@ $(document).ready(function() {
         }) // end $.get()
     }) // end change charset
     
-}, 'top.frame_content');
+}, 'top.frame_content');