WebKit2.Settings.prototype.set_enable_developer_extras

function set_enable_developer_extras(enabled: Boolean): void {
    // Gjs wrapper for webkit_settings_set_enable_developer_extras()
}