Fix GroupsConfigInfo type

Release-Notes: skip
Change-Id: I77621a96843942b72d4806fc743435549bc2b99c

Documentation/rest-api-config.txt

diff --git a/Documentation/rest-api-config.txt b/Documentation/rest-api-config.txt
index 90c7cd5..00778cf 100644
--- a/Documentation/rest-api-config.txt
+++ b/Documentation/rest-api-config.txt
@@ -2455,7 +2455,7 @@
 [options="header",cols="1,6"]
 |=============================
 |Field Name            |Description
-|`enableDeleteGroup`   |
+|`enable_delete_group`   |
 link:config-gerrit.html#groups.enableDeleteGroup[gerrit.config].
 |=============================
 

polygerrit-ui/app/api/rest-api.ts

diff --git a/polygerrit-ui/app/api/rest-api.ts b/polygerrit-ui/app/api/rest-api.ts
index 6b1dda4..1502224 100644
--- a/polygerrit-ui/app/api/rest-api.ts
+++ b/polygerrit-ui/app/api/rest-api.ts
@@ -789,7 +789,7 @@
  * https://gerrit-review.googlesource.com/Documentation/rest-api-config.html#groups-info
  */
 export declare interface GroupsConfigInfo {
-  enableDeleteGroup?: boolean;
+  enable_delete_group?: boolean;
 }
 
 export type GroupName = BrandType<string, '_groupName'>;