webkit_settings_get_user_agent

alias webkit_settings_get_user_agent = c_webkit_settings_get_user_agent