pgAdmin 4 commit: Rename the menu 'Disconnect Server' to 'Disconnect fr - Mailing list pgadmin-hackers

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