Add underscore.js to the sphinx13 theme (#10588)

sphinx-doc · Jun 19, 2022 · b26bf03 · b26bf03
1 parent 0796f70
commit b26bf03
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/doc/_themes/sphinx13/static/_sphinx_javascript_frameworks_compat.js b/doc/_themes/sphinx13/static/_sphinx_javascript_frameworks_compat.js
@@ -9,6 +9,11 @@
  *
  */
 
+/**
+ * select a different prefix for underscore
+ */
+$u = _.noConflict();
+
 
 /**
  * small helper function to urldecode strings

diff --git a/doc/conf.py b/doc/conf.py
@@ -181,7 +181,9 @@ def setup(app):
     # Load jQuery and patches to make readthedocs-doc-embed.js available (refs: #10574)
     app.add_js_file('https://ajax.googleapis.com/ajax/libs/jquery/3.6.0/jquery.min.js',
                     priority=100)
-    app.add_js_file('_sphinx_javascript_frameworks_compat.js', priority=200)
+    app.add_js_file('https://cdnjs.cloudflare.com/ajax/libs/underscore.js/1.13.1/underscore-min.js',  # NoQA
+                    priority=100)
+    app.add_js_file('_sphinx_javascript_frameworks_compat.js', priority=105)
 
     # workaround for RTD
     from sphinx.util import logging