Files
website/static/js
Qiming Teng 8a1ccddfd4 Remove customization of 'anchors'
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.
2020-07-18 21:08:19 +08:00
..
2018-05-05 09:00:51 -07:00
2020-07-06 06:52:46 +08:00
2018-05-05 09:00:51 -07:00
2020-07-18 21:08:19 +08:00

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