Merge pull request #7894 from SvenDowideit/use-local-jquery
Use a local copy of jquery so that the docs work in China, and offline too.
This commit is contained in:
commit
712702aa79
2 changed files with 7 additions and 1 deletions
2
docs/theme/mkdocs/base.html
vendored
2
docs/theme/mkdocs/base.html
vendored
|
@ -110,7 +110,7 @@
|
|||
|
||||
{% include "footer.html" %}
|
||||
|
||||
<script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
|
||||
<script src="/js/jquery-1.10.2.min.js"></script>
|
||||
<script src="/js/jquery-scrolltofixed-min.js"></script>
|
||||
<script src="/js/bootstrap-3.0.3.min.js"></script>
|
||||
<script src="/js/prettify-1.0.min.js"></script>
|
||||
|
|
6
docs/theme/mkdocs/js/jquery-1.10.2.min.js
vendored
Normal file
6
docs/theme/mkdocs/js/jquery-1.10.2.min.js
vendored
Normal file
File diff suppressed because one or more lines are too long
Loading…
Add table
Reference in a new issue