8a1ccddfd4
The AnchorsJS module has been killed recently in #22311 prematurely. Now we don't have a global variable 'anchors' to customize. This PR removes the related code in script.js in hope everything else is still working correctly. |
||
---|---|---|
.. | ||
README.md | ||
bootstrap-4.3.1.min.js | ||
glossary.js | ||
jquery-3.3.1.min.js | ||
jquery-ui-1.12.1.min.js | ||
jquery.scrollTo-2.1.2.min.js | ||
mermaid.min.js | ||
redirects.js | ||
script.js | ||
scroll-apiref.js | ||
search.js | ||
sweetalert-2.1.2.min.js |
README.md
NOTE
This directory contains scripts files referenced by different sections of the website. Please use caution when moving/renaming them.
Scripts used by API reference
- bootstrap-4.3.1.min.js
- jquery-3.3.1.min.js (indirect dependency from bootstrap-4.3.1.min.js)
- jquery.scrollTo-2.1.2.min.js