Remove duplicated headers from platform/

Source/platform/plugins/PluginListBuilder.cpp

 /*
  * Copyright (C) 2009 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 14 matching lines @@
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 #include "config.h"
 #include "platform/plugins/PluginListBuilder.h"
 
 #include "public/platform/WebString.h"
-#include "wtf/Vector.h"
 
 namespace WebCore {
 
 void PluginListBuilder::addPlugin(const blink::WebString& name, const blink::WebString& description, const blink::WebString& fileName)
 {
     PluginInfo info;
     info.name = name;
     info.desc = description;
     info.file = fileName;
     m_results->append(info);
 }
 
 void PluginListBuilder::addMediaTypeToLastPlugin(const blink::WebString& name, const blink::WebString& description)
 {
     MimeClassInfo info;
     info.type = name;
     info.desc = description;
     m_results->last().mimes.append(info);
 }
 
 void PluginListBuilder::addFileExtensionToLastMediaType(const blink::WebString& extension)
 {
     MimeClassInfo& info = m_results->last().mimes.last();
     info.extensions.append(extension);
 }
 
 } // namespace WebCore