1
0
mirror of synced 2026-01-01 18:05:46 -05:00
Files
docs/javascripts/search.js
Kevin Heis 99a85ff4ef Push query string when searching (#17417)
* Push query string when searching

* Update search.js

* Fix browser test, remove querystring dependency (new shiny!)

* Remove language and version from visible URL

* Avoid casting event interface

* Update search.js

* Update browser.js
2021-01-25 11:52:55 -08:00

9.1 KiB