void setJSHTMLHeadElementProfile(ExecState* exec, JSObject* thisObject, JSValue value) { JSHTMLHeadElement* castedThis = static_cast<JSHTMLHeadElement*>(thisObject); HTMLHeadElement* imp = static_cast<HTMLHeadElement*>(castedThis->impl()); imp->setAttribute(WebCore::HTMLNames::profileAttr, valueToStringWithNullCheck(exec, value)); }