Index: Source/platform/plugins/PluginListBuilder.h |
diff --git a/Source/platform/plugins/PluginListBuilder.h b/Source/platform/plugins/PluginListBuilder.h |
index 0c6f9eac091e56b07517fbbabe6b8b2fca8f9ed0..9550cf7471335b273f096673fc6c7f11ae5912fd 100644 |
--- a/Source/platform/plugins/PluginListBuilder.h |
+++ b/Source/platform/plugins/PluginListBuilder.h |
@@ -42,9 +42,9 @@ public: |
PluginListBuilder(Vector<PluginInfo>* results) : m_results(results) { } |
// WebPluginListBuilder methods: |
- virtual void addPlugin(const WebString& name, const WebString& description, const WebString& fileName) override; |
- virtual void addMediaTypeToLastPlugin(const WebString& name, const WebString& description) override; |
- virtual void addFileExtensionToLastMediaType(const WebString& extension) override; |
+ void addPlugin(const WebString& name, const WebString& description, const WebString& fileName) override; |
+ void addMediaTypeToLastPlugin(const WebString& name, const WebString& description) override; |
+ void addFileExtensionToLastMediaType(const WebString& extension) override; |
private: |
Vector<PluginInfo>* m_results; |