From ab3ba28e4969f0685747665620d97aae7c1dbf4a Mon Sep 17 00:00:00 2001
From: Kartik <xdeskart@amazon.com>
Date: Tue, 8 Nov 2022 13:44:51 -0800
Subject: [PATCH] fix interface (#114)

* fix interface

Signed-off-by: Kartik <xdeskart@amazon.com>

* update

Signed-off-by: Kartik <xdeskart@amazon.com>
---
 .../src/components/guide_page/guide_page_header.tsx    | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/src-docs/src/components/guide_page/guide_page_header.tsx b/src-docs/src/components/guide_page/guide_page_header.tsx
index 62f48d1f47..12ea673f97 100644
--- a/src-docs/src/components/guide_page/guide_page_header.tsx
+++ b/src-docs/src/components/guide_page/guide_page_header.tsx
@@ -39,10 +39,12 @@ declare global {
   // eslint-disable-next-line @typescript-eslint/no-namespace
   namespace JSX {
     interface IntrinsicElements {
-      'version-selector': React.DetailedHTMLProps<
-        React.HTMLAttributes<HTMLElement>,
-        HTMLElement
-      >;
+      'version-selector': VersionSelectorAttributes;
+    }
+
+    interface VersionSelectorAttributes
+      extends React.HTMLAttributes<HTMLElement> {
+      selected: string;
     }
   }
 }