Rename the menu 'Disconnect Server' to 'Disconnect from server'. Fixes #7163
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=6d1926bb631612e00bed0c0e91b1346e50e8d8db
Modified Files
--------------
docs/en_US/images/object_menu.png | Bin 89986 -> 129368 bytes
docs/en_US/menu_bar.rst | 6 +++---
docs/en_US/release_notes_6_5.rst | 1 +
docs/en_US/tree_control.rst | 2 +-
.../server_groups/servers/static/js/server.js | 10 +++++-----
5 files changed, 10 insertions(+), 9 deletions(-)