[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 #4 from Sriram Neelakandan <sriram.neelakandan at gmail.com>  2012-05-13 02:31:21 PST ---
(In reply to comment #3)
>     #if ENABLE(VIDEO)    
>     WebKitDOMHTMLMediaElement* self = WEBKIT_DOM_HTML_MEDIA_ELEMENT(object);
>     WebCore::HTMLMediaElement* coreSelf = WebKit::core(self);
>     #endif // ENABLE(VIDEO)
> 
>     switch (prop_id) {
>     case PROP_SRC:
>     {
>         coreSelf->setAttribute(WebCore::HTMLNames::srcAttr, WTF::String::fromUTF8(g_value_get_string(value)));
>         break;
>     }


Some thing is wrong here. You seem to be not using the latest GeneratorGObject.pm

There has been a fix already for the property generator, which has landed in r11542 <http://trac.webkit.org/changeset/115442>

Also please see the bug : https://bugs.webkit.org/show_bug.cgi?id=85068 for more details

My patch is on top of r115442

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