Manual:$wgOverrideHostname/de-formal

Details
Override server hostname detection with a hardcoded value.

Should be a string, default false.