how to make MediaWiki connect to a MySQL server on the same server through a socket in a non-standard location