Graphics.UI.Gtk.WebKit.DOM.DOMPlugin
domPluginItem
domPluginNamedItem
domPluginGetName
domPluginGetFilename
domPluginGetDescription
domPluginGetLength
data DOMPlugin
class DOMPluginClass o
castToDOMPlugin
gTypeDOMPlugin
toDOMPlugin