webkit_settings_get_enable_developer_extras

alias webkit_settings_get_enable_developer_extras = c_webkit_settings_get_enable_developer_extras