W

webkit_web_settings_get_user_agent, webkit_web_settings_get_user_agent ()