Remove destructor from FrameNavigationState::FrameID so we can use it as a static

chrome/browser/extensions/api/web_navigation/frame_navigation_state.cc

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "chrome/browser/extensions/api/web_navigation/frame_navigation_state.h"
 
 #include "base/logging.h"
 #include "chrome/common/url_constants.h"
 
 namespace extensions {
@@ skipping 17 matching lines @@
     : frame_num(-1),
       render_process_id(-1) {
 }
 
 FrameNavigationState::FrameID::FrameID(int64 frame_num,
                                        int render_process_id)
     : frame_num(frame_num),
       render_process_id(render_process_id) {
 }
 
-FrameNavigationState::FrameID::~FrameID() {}
-
 bool FrameNavigationState::FrameID::operator<(
     const FrameNavigationState::FrameID& other) const {
   return frame_num < other.frame_num ||
       (frame_num == other.frame_num &&
        render_process_id < other.render_process_id);
 }
 
 bool FrameNavigationState::FrameID::operator==(
     const FrameNavigationState::FrameID& other) const {
   return frame_num == other.frame_num &&
@@ skipping 137 matching lines @@
 }
 
 bool FrameNavigationState::GetIsServerRedirected(FrameID frame_id) const {
   FrameIdToStateMap::const_iterator frame_state =
       frame_state_map_.find(frame_id);
   return (frame_state != frame_state_map_.end() &&
           frame_state->second.is_server_redirected);
 }
 
 }  // namespace extensions