From 36cc2d410fca716080462774f83cf5616d826c7d Mon Sep 17 00:00:00 2001
From: Felix Hennig <mail@felixhennig.com>
Date: Wed, 18 Dec 2024 09:41:02 +0100
Subject: [PATCH] revert DocsMenu change

---
 website/src/components/Navigation/DocsMenu.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/src/components/Navigation/DocsMenu.tsx b/website/src/components/Navigation/DocsMenu.tsx
index db39855b4..c21f87cc2 100644
--- a/website/src/components/Navigation/DocsMenu.tsx
+++ b/website/src/components/Navigation/DocsMenu.tsx
@@ -5,7 +5,7 @@ import { type FC } from 'react';
 import XIcon from '~icons/material-symbols/close';
 import MenuIcon from '~icons/material-symbols/menu';
 
-type Page = MDXInstance<Record<string, unknown>>;
+type Page = MDXInstance<Record<string, any>>; // eslint-disable-line @typescript-eslint/no-explicit-any -- TODO(#3451) use a proper type
 
 interface DocsMenuProps {
     docsPages: Page[];