public function getHeader($name) { $name = strtoupper(str_replace('-', '_', $name)); if (isset($_SERVER[$name])) { return $_SERVER[$name]; } $name = 'HTTP_' . $name; if (isset($_SERVER[$name])) { return $_SERVER[$name]; } return null; }