Improves $_SERVER['HTTPS'] compatibility with IIS web server.