webkit_settings_set_user_agent

alias webkit_settings_set_user_agent = c_webkit_settings_set_user_agent