If enabled allows you to log in to arbitrary servers using cookie auth.
The login page allows the user to type an arbitrary server host (as documented), but *does not* allow the user to specify the mysql server port, neither understands the host:port format.
Please extend the functionality to either support host:port notation in the Server field in the Log In page or add a dedicated text field for the port number.
I am connecting to MySQL severs via ssh tunnels, which tunnels maps several ports to several remote MySQL servers. For different reasons it is not usable for me to configure all the used tunnels in the config.inc.php file. Thus I need to be able to specify the [mapped by the tunnel] port number together with the host in the Log In page.