Fix JS error when loading page with search#67336

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:fix-js-errorGuillaumeGomez/rust:fix-js-errorCopy head branch name to clipboard