Index: third_party/WebKit/Source/platform/plugins/PluginData.h |
diff --git a/third_party/WebKit/Source/platform/plugins/PluginData.h b/third_party/WebKit/Source/platform/plugins/PluginData.h |
index 1b881edf451e85ec65e9111e20cd1694754773a9..802c7f728870af229b43b4d2b809297ccffe4ddd 100644 |
--- a/third_party/WebKit/Source/platform/plugins/PluginData.h |
+++ b/third_party/WebKit/Source/platform/plugins/PluginData.h |
@@ -62,6 +62,7 @@ public: |
String pluginNameForMimeType(const String& mimeType) const; |
static void refresh(); |
+ static bool m_refresh; |
private: |
explicit PluginData(const Page*); |