How can I set a non-standard port for MySQL in OJS config.inc.php

I haven’t tried it yet, haven’t had time to set up a test environment and was looking for an obvious answer that I’ve missed somewhere. I’ts strange that no one has ever run into this issue before.