WebKit2.Settings.prototype.get_minimum_font_size

function get_minimum_font_size(): Number(guint32) {
    // Gjs wrapper for webkit_settings_get_minimum_font_size()
}