diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-11-18 20:12:39 +0300 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-11-18 20:14:56 +0300 |
| commit | d0389dce0771b8bc7b7501c27a64f8f0de51749d (patch) | |
| tree | 77f0c5eb069196a1c4293a4510159de82a40925f /sphinx/themes | |
| parent | 68c91b19208cff332eacf30908b63b80482fafb8 (diff) | |
Fix #8419: html search: Do not load language_data.js in non-search pages
The ``language_data.js`` is only used on search page. But it is always
loaded meaninglessly. This fixes not to load it on all non-search pages.
Diffstat (limited to 'sphinx/themes')
| -rw-r--r-- | sphinx/themes/basic/search.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/themes/basic/search.html b/sphinx/themes/basic/search.html index 2673369f2..cf574f8d5 100644 --- a/sphinx/themes/basic/search.html +++ b/sphinx/themes/basic/search.html @@ -12,6 +12,7 @@ {%- block scripts %} {{ super() }} <script src="{{ pathto('_static/searchtools.js', 1) }}"></script> + <script src="{{ pathto('_static/language_data.js', 1) }}"></script> {%- endblock %} {% block extrahead %} <script src="{{ pathto('searchindex.js', 1) }}" defer></script> |