summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2022-03-02 21:00:22 +0100
committerAndrey Andreev <narf@devilix.net>2022-03-02 21:00:22 +0100
commit9a24c007de20bec874cc9da851b5ab01644ba409 (patch)
tree3d09aa3f13ec4a52ebc7c81fd7df89ad7d6e3f34 /user_guide_src/source
parentd4b15bcdbd6a06e01d8de927c1d26f8f5bc4ed6c (diff)
[ci skip] Fix #6103
Diffstat (limited to 'user_guide_src/source')
-rw-r--r--user_guide_src/source/_themes/sphinx_rtd_theme/layout.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html
index 20ede7d32..cc30e5ba4 100644
--- a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html
+++ b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html
@@ -71,7 +71,7 @@
{%- block extrahead %} {% endblock %}
{# Keep modernizr in head - http://modernizr.com/docs/#installing #}
- <script src="https://cdnjs.cloudflare.com/ajax/libs/modernizr/2.6.2/modernizr.min.js"></script>
+ <script src="https://cdnjs.cloudflare.com/ajax/libs/modernizr/2.6.2/modernizr.min.js" integrity="sha384-vEQs6vKzb8v6+GpGDCnXUQ6aa2DYtn5LTi/tA/85iEZfXN0nAYj0shvYo8ldQQ7m" crossorigin="anonymous"></script>
</head>