ghcjs-dom-0.3.0.1: webkit/GHCJS/DOM/HTMLMediaElement.hs

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