Update js/wikisearch.js