Move the port back to 5433 (again)

Last year Travis moved from 5433 to 5432, only for
PostgreSQL 13 (keeping older - 10, 11 and 12 - working
with 5433).

It seems that, now, they have changed also PG 13 to use 5433.

Let's see, ping-pong!

src/Installer/Database/PostgresDatabase.php

@@ -42,9 +42,10 @@ public function getCreateDatabaseCommand(): array
                     $this->host = ''; // Use sockets, or we'll need to edit pg_hba.conf and restart the server. Only if not set.
                     $this->port = '5433'; // We also need the port to find the correct socket file.
                     // Travis did it again, for PostgreSQL 13, they are back to port 5432. We need that to find the socket.
-                    if ((int) getenv('PGVER') === 13) {
-                        $this->port = '5432'; // We also need the port to find the correct socket file.
-                    }
+                    // And again-again (January 2024, back to 5433). We need to find the socket. Disabling for now.
+                    // if ((int) getenv('PGVER') === 13) {
+                    //     $this->port = '5432'; // We also need the port to find the correct socket file.
+                    // }
                 }
             }
         }