diff options
Diffstat (limited to 'WebCore/plugins')
| -rw-r--r-- | WebCore/plugins/PluginInfoStore.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/WebCore/plugins/PluginInfoStore.cpp b/WebCore/plugins/PluginInfoStore.cpp index 732a1e1..bd2f2d0 100644 --- a/WebCore/plugins/PluginInfoStore.cpp +++ b/WebCore/plugins/PluginInfoStore.cpp @@ -27,6 +27,9 @@ #include "PluginInfoStore.h" #include "KURL.h" +#if PLATFORM(ANDROID) +#include "Page.h" +#endif #include "PluginData.h" #include "PluginDatabase.h" #include "PluginPackage.h" @@ -93,11 +96,15 @@ bool PluginInfoStore::supportsMIMEType(const WebCore::String& mimeType) void refreshPlugins(bool reloadOpenPages) { +#if PLATFORM(ANDROID) + Page::refreshPlugins(reloadOpenPages); +#else PluginDatabase::installedPlugins()->refresh(); if (reloadOpenPages) { // FIXME: reload open pages } +#endif } } |