Para registro, a resposta foi alterar o host do banco de dados de

para somente

A string original deveria ter funcionado, mas há um bug no MediaWiki 1.19.2, descrito aqui:

https://bugzilla.wikimedia.org/show_bug.cgi?id=58153

"O novo adaptador mysqli em 1.22.0 não implementa corretamente MySQLports não padrão."