Description
Describe the bug
language_data.js is used by searchtools.js.
But language_data.js is loaded in all pages.
sphinx/sphinx/builders/html/__init__.py
Line 304 in 68cc0f7
Can we move it to search.html?
sphinx/sphinx/themes/basic/search.html
Line 14 in af62fa6
To Reproduce
See this page and show source.
https://docs.python.org/3/library/stdtypes.html
Expected behavior
If language_data.js is used only by searchtool.js, don't load language_data.js unless searchtool.js is loaded.
Your project
python/cpython project, Docs/
Environment info
- Sphinx version: 2.4.4.
Additional context