Remove deprecated use of script_files

Fixes sphinx-doc/sphinx#6088
readthedocs · Feb 25, 2019 · 4a7dc08 · 4a7dc08
1 parent ecbc09f
commit 4a7dc08
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/sphinx_rtd_theme/search.html b/sphinx_rtd_theme/search.html
@@ -9,7 +9,10 @@
 #}
 {%- extends "layout.html" %}
 {% set title = _('Search') %}
-{% set script_files = script_files + ['_static/searchtools.js'] %}
+{%- block scripts %}
+    {{ super() }}
+    <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>
+{%- endblock %}
 {% block footer %}
   <script type="text/javascript">
     jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); });