I'm not convinced we should publish machine names and ports on the interwebz, it gives an insight on the internals of our service to potentially not well intentioned people.

IMHO, if we have ports numbers published on Github for another project we should probably change that code to use config, and so should this.

If you're worried of adding too many $wg variables, then use an hash to group all the settings for this extension if this is not stuff one would change via WikiFactory.