WebKit2.Settings.prototype.get_user_agent

function get_user_agent(): String {
    // Gjs wrapper for webkit_settings_get_user_agent()
}