Translations:Manual:$wgDBserver/16/en

Note that using a port number when you specify  as the host name will have no effect, as MySQL will connect through a socket instead.