![]() Use the `URL` class in JavaScript instead of manually parsing a URL string. Related to #1798 |
||
---|---|---|
.. | ||
index-scope.rkt | ||
local-redirect.rkt | ||
make-search.rkt | ||
manuals.rkt | ||
release.rkt | ||
root-info.css | ||
root-info.js | ||
search-context.html | ||
search-merge.js | ||
search.js | ||
utils.rkt |