Add sphinx_highlight.js to the search page (needed since sphinx 5.2.0). (#24727)

cmarmo · web-flow · commit 551ced28c4ab · 2022-10-24T11:15:22.000+02:00
diff --git a/doc/themes/scikit-learn-modern/search.html b/doc/themes/scikit-learn-modern/search.html
@@ -5,4 +5,5 @@
   <script src="{{ pathto('_static/doctools.js', 1) }}"></script>
   <script src="{{ pathto('_static/language_data.js', 1) }}"></script>
   <script src="{{ pathto('_static/searchtools.js', 1) }}"></script>
+  <script src="{{ pathto('_static/sphinx_highlight.js', 1) }}"></script>
 {% endblock %}
