From cf79f1013ec12d5a166ab7ee8fa33b6b7d9efcbf Mon Sep 17 00:00:00 2001
From: Thomas A Caswell <tcaswell@gmail.com>
Date: Sun, 10 Nov 2019 16:01:48 -0500
Subject: [PATCH] Backport PR #15649: Fix searchindex.js loading when ajax
 fails (because e.g. CORS in embedded iframes)

---
 doc/_templates/search.html | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/doc/_templates/search.html b/doc/_templates/search.html
index f24c6ab13fd8..fe8a2060d64f 100644
--- a/doc/_templates/search.html
+++ b/doc/_templates/search.html
@@ -38,7 +38,5 @@ <h2>{{ _('Search Results') }}</h2>
 {% endblock %}
 {% block footer %}
   {{ super() }}
-<script type="text/javascript">
-    jQuery(function() { Search.loadIndex("searchindex.js"); });
-</script>
+  <script type="text/javascript" src="{{ pathto('searchindex.js', 1) }}" defer></script>
 {% endblock %}