Adam Leskis b730128ed5 update both jquery and bootstrap versions ...

both the versions currently running have vulnerabilities, so this commit upgrades them to secure versions.

2020-11-11 20:22:59 +00:00

..

anchorlinks.js

cleanup anchorlinks script

2020-10-15 15:10:41 +02:00

bootstrap.min.js

update both jquery and bootstrap versions

2020-11-11 20:22:59 +00:00

docs.js

js/docs.js: small cleanup in walkTree() function

2020-10-26 18:58:12 +01:00

jquery.js

update both jquery and bootstrap versions

2020-11-11 20:22:59 +00:00

metadata.json

Replace "hide_from_sitemap" with "sitemap: false"

2020-10-21 15:09:11 +02:00

redoc.min.js

Improve Engine API documentation (#5607)

2017-12-26 12:35:10 -08:00

redoc.min.map

Improve Engine API documentation (#5607)

2017-12-26 12:35:10 -08:00

search.js

js/search.js: rewrite local search autocomplete and update styling

2020-10-15 17:20:28 +02:00

theme-switcher.js

js/search.js: rewrite local search autocomplete and update styling

2020-10-15 17:20:28 +02:00

toc.json

Load toc.js asynchronously as JSON

2020-10-14 22:08:50 +02:00