Per la cronaca, la risposta è stata cambiare l'host del database da
solo
La stringa originale avrebbe dovuto funzionare, ma c'è un bug in MediaWiki 1.19.2, descritto qui:
https://bugzilla.wikimedia.org/show_bug.cgi?id=58153
"Il nuovo adattatore mysqli della versione 1.22.0 non implementa correttamente MySQLport non standard."
