We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.

Commit 9c286feb authored by Evan Prodromou's avatar Evan Prodromou

fix bad function name

parent 64b03439
...@@ -1311,7 +1311,7 @@ function common_inject_session($url, $serverpart = null) ...@@ -1311,7 +1311,7 @@ function common_inject_session($url, $serverpart = null)
$serverpart = parse_url($url, PHP_URL_HOST); $serverpart = parse_url($url, PHP_URL_HOST);
} }
$currentServer = (array_has_key('HTTP_HOST')) ? $_SERVER['HTTP_HOST'] : null; $currentServer = (array_key_exists('HTTP_HOST')) ? $_SERVER['HTTP_HOST'] : null;
// Are we pointing to another server (like an SSL server?) // Are we pointing to another server (like an SSL server?)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment