[pgadmin-org/pgadmin4] 2d60bc: Fixed an issue where export servers was not adding...

[Pravesh Sharma]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 2d60bc280026774841426173490d6a75b6e71ee5
      
https://github.com/pgadmin-org/pgadmin4/commit/2d60bc280026774841426173490d6a75b6e71ee5
  Author: Pravesh Sharma <pravesh.sha...@enterprisedb.com>
  Date:   2023-12-20 (Wed, 20 Dec 2023)

  Changed paths:
    M web/pgadmin/tools/import_export_servers/__init__.py

  Log Message:
  -----------
  Fixed an issue where export servers was not adding extension if not 
specified. #6781