WebKit2.Settings.prototype.get_enable_developer_extras

function get_enable_developer_extras(): Boolean {
    // Gjs wrapper for webkit_settings_get_enable_developer_extras()
}