[pgadmin-org/pgadmin4] 4fc0f2: Use SocketIO instead of REST for fetching database...

[Aditya Toshniwal]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 4fc0f288c7ed9c73c31d63ac06483854bfa0c5e3
      
https://github.com/pgadmin-org/pgadmin4/commit/4fc0f288c7ed9c73c31d63ac06483854bfa0c5e3
  Author: Aditya Toshniwal <aditya.toshni...@enterprisedb.com>
  Date:   2022-10-17 (Mon, 17 Oct 2022)

  Changed paths:
    M docs/en_US/release_notes_6_15.rst
    M web/pgadmin/authenticate/__init__.py
    A web/pgadmin/static/js/socket_instance.js
    M web/pgadmin/tools/erd/__init__.py
    M web/pgadmin/tools/erd/static/js/erd_tool/components/ERDTool.jsx
    M web/pgadmin/tools/erd/tests/test_tables.py
    M web/pgadmin/utils/route.py
    M web/regression/javascript/erd/ui_components/ERDTool.spec.js
    M web/webpack.test.config.js

  Log Message:
  -----------
  Use SocketIO instead of REST for fetching database tables data in ERD. #5065