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(-)
