WebKit2.Settings.prototype.get_default_charset

function get_default_charset(): String {
    // Gjs wrapper for webkit_settings_get_default_charset()
}