server($key); } if (isset($_SERVER[$key])) { return $_SERVER[$key]; } return null; } }