$SERVER_PORT = $_SERVER['SERVER_PORT'] = 80; $_SERVER['HTTP_HOST'] = array_shift(explode(':', $_SERVER['HTTP_HOST']));