diff --git a/docs/rss.php b/docs/rss.php index 7fbb9b2c13..9d7e28a1ca 100644 --- a/docs/rss.php +++ b/docs/rss.php @@ -22,7 +22,7 @@ function generate_docs_rss(){ global $wgGitRepoPath ; - $baseUrl = 'http://' . $_SERVER['HTTP_HOST'] . str_replace('rss.php', '', $_SERVER['REQUEST_URI']); + $baseUrl = 'http://' . $_SERVER['SERVER_NAME'] . str_replace('rss.php', '', $_SERVER['REQUEST_URI']); ob_start(); ?>