From 7e585eb2d8bc95d8406c245bbaf6fb9efe0f7365 Mon Sep 17 00:00:00 2001
From: GitHub Actions Bot <>
Date: Wed, 22 Nov 2023 10:44:14 +0000
Subject: [PATCH] Update API doc

---
 doc/common/apidoc/index.json | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/common/apidoc/index.json b/doc/common/apidoc/index.json
index 02aff9c02..9863ec00a 100644
--- a/doc/common/apidoc/index.json
+++ b/doc/common/apidoc/index.json
@@ -6507,6 +6507,14 @@
                             "default": "",
                             "description": "Style class of the badge."
                         },
+                        {
+                            "name": "badgeSeverity",
+                            "optional": true,
+                            "readonly": false,
+                            "type": "null | string",
+                            "default": "",
+                            "description": "Severity type of the badge."
+                        },
                         {
                             "name": "loading",
                             "optional": true,