Hi - I have to move our wiki to a machine where the MySQL database is running on port 3307. The standard port is 3306. How to I set the port to be 3307? -- Ken