Backport PR #15649: Fix searchindex.js loading when ajax fails (because e.g. CORS in embedded iframes)

tacaswell · MeeseeksDev[bot] · commit 4879760eedf9 · 2019-11-10T21:02:29.000Z
diff --git a/doc/_templates/search.html b/doc/_templates/search.html
@@ -41,7 +41,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 %}
