Update Gitpod ports

.gitpod.yml

@@ -28,12 +28,11 @@ ports:
     onOpen: ignore
   - port: 3306
     onOpen: ignore
+  - port: 5432
+    onOpen: ignore
   # Used by projector
   - port: 6942
     onOpen: ignore
-  # Direct-connect ddev-webserver port that is the main port
-  - port: 8080
-    onOpen: ignore
   # Currently un-notified and unsupported mailhog http port
   - port: 8025
     onOpen: ignore
@@ -46,14 +45,23 @@ ports:
   # Currently un-notified and unsupported phpmyadmin https port
   - port: 8037
     onOpen: ignore
-  # router http port that we're ignoring.
-  - port: 8888
+  # Direct-connect ddev-webserver port that is the main port
+  - port: 8080
+    onOpen: ignore
+  # xhgui http port
+  - port: 8143
     onOpen: ignore
-  # router https port that we're ignoring.
-  - port: 8889
+  # xhgui https port
+  - port: 8142
     onOpen: ignore
   # xdebug port
-  - port: 9000
+  - port: 9003
+    onOpen: ignore
+  # Adminer http port
+  - port: 9100
+    onOpen: ignore
+  # Adminer https port
+  - port: 9101
     onOpen: ignore
   # projector port
   - port: 9999