module GHCJS.DOM.HTMLOptionsCollection ( module Graphics.UI.Gtk.WebKit.DOM.HTMLOptionsCollection ) where import Graphics.UI.Gtk.WebKit.DOM.HTMLOptionsCollection