From 359ea727b3798598d3fb134cf9d612ad8b18b09b Mon Sep 17 00:00:00 2001
From: Simran Spiller <simran@arangodb.com>
Date: Mon, 27 Nov 2023 10:54:48 +0100
Subject: [PATCH] Check whether docsearch is defined before calling it

Prevents the docs from remaining hidden because of an error in theme.js as the result of e.g. the browser blocking the load of the docsearch script
---
 site/themes/arangodb-docs-theme/layouts/partials/search.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/site/themes/arangodb-docs-theme/layouts/partials/search.html b/site/themes/arangodb-docs-theme/layouts/partials/search.html
index 558489f8dc..76abde5e43 100644
--- a/site/themes/arangodb-docs-theme/layouts/partials/search.html
+++ b/site/themes/arangodb-docs-theme/layouts/partials/search.html
@@ -4,6 +4,7 @@
 
 <script type="text/javascript">
   window.setupDocSearch = function (facetVersion) {
+    if (!window.docsearch) return;
     docsearch({
       appId: "OK3ZBQ5982",
       apiKey: "500c85ccecb335d507fe4449aed12e1d",