gotoken

For example, in https://plugins.trac.wordpress.org/browser/bogo/trunk/bogo.php#L94
builds a URL by $url .= $_SERVER['HTTP_HOST']; but I hope that would be like

`
if (isset($_SERVER[‘HTTP_X_FORWARDED_HOST’])) {
$url .= $_SERVER[‘HTTP_X_FORWARDED_HOST’]);
} else {
$url .= $_SERVER[‘HTTP_HOST’];
}
`

Or is it preferred way that a user over write $_SERVER['HTTP_HOST'] by $_SERVER['HTTP_X_FORWARDED_HOST'] in wp-config.php by any chance? I’m not familiar with the WordPress way. Thanks