Rollup merge of #145799 - ada4a:patch-3, r=GuillaumeGomez

std/src/lib.rs: mention "search button" instead of "search bar"

r? ```@GuillaumeGomez```
This commit is contained in:
Jacob Pratt 2025-08-23 23:58:37 -04:00 committed by GitHub
commit 7a3675c382
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -15,7 +15,7 @@
//!
//! If you already know the name of what you are looking for, the fastest way to
//! find it is to use the <a href="#" onclick="window.searchState.focus();">search
//! bar</a> at the top of the page.
//! button</a> at the top of the page.
//!
//! Otherwise, you may want to jump to one of these useful sections:
//!