Index: webkit/plugins/webplugininfo.h |
=================================================================== |
--- webkit/plugins/webplugininfo.h (revision 96718) |
+++ webkit/plugins/webplugininfo.h (working copy) |
@@ -106,6 +106,9 @@ |
// Checks whether a plugin is enabled either by the user or by policy. |
bool IsPluginEnabled(const WebPluginInfo& plugin); |
+// Checks whether a plugin is a Pepper plugin, enabled or disabled. |
+bool IsPepperPlugin(const WebPluginInfo& plugin); |
+ |
} // namespace webkit |
#endif // WEBKIT_PLUGINS_WEBPLUGININFO_H_ |