Index: Source/platform/plugins/PluginListBuilder.h |
diff --git a/Source/platform/plugins/PluginListBuilder.h b/Source/platform/plugins/PluginListBuilder.h |
index 14aa104dfcffa7978639ce89451f2d897a58bf0f..c803449a39ba2107a9bef572b16deed2fb0eb09a 100644 |
--- a/Source/platform/plugins/PluginListBuilder.h |
+++ b/Source/platform/plugins/PluginListBuilder.h |
@@ -37,14 +37,14 @@ |
namespace WebCore { |
-class PluginListBuilder : public blink::WebPluginListBuilder { |
+class PluginListBuilder FINAL : public blink::WebPluginListBuilder { |
public: |
PluginListBuilder(Vector<WebCore::PluginInfo>* results) : m_results(results) { } |
// WebPluginListBuilder methods: |
- virtual void addPlugin(const blink::WebString& name, const blink::WebString& description, const blink::WebString& fileName); |
- virtual void addMediaTypeToLastPlugin(const blink::WebString& name, const blink::WebString& description); |
- virtual void addFileExtensionToLastMediaType(const blink::WebString& extension); |
+ virtual void addPlugin(const blink::WebString& name, const blink::WebString& description, const blink::WebString& fileName) OVERRIDE; |
+ virtual void addMediaTypeToLastPlugin(const blink::WebString& name, const blink::WebString& description) OVERRIDE; |
+ virtual void addFileExtensionToLastMediaType(const blink::WebString& extension) OVERRIDE; |
private: |
Vector<PluginInfo>* m_results; |