Manual:$wgOverrideHostname

From mediawiki.org
Debug: $wgOverrideHostname
Override server hostname detection with a hardcoded value.
Introduced in version:1.20.0 (Gerrit change 7298; git #4d1324f4)
Removed in version:still in use
Allowed values:(string) or false
Default value:false

Details[edit]

Override server hostname detection with a hardcoded value.

Should be a string, default false.