[Webkit-unassigned] [Bug 86060] WebKitDOMHTMLMediaElement.cpp - 'HTMLMediaElement' is not a member of 'WebCore'

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=86060





--- Comment #1 from Sriram Neelakandan <sriram.neelakandan at gmail.com>  2012-05-11 08:25:30 PST ---
Created an attachment (id=141422)
 --> (https://bugs.webkit.org/attachment.cgi?id=141422&action=review)
proposed patch 

attached is a proposed patch for the fix
will attach a proper git-diff with changelong and test fix in a short while .. 
my git repo is slightly old .. and my pull is damn slow !

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.