Merge pull request #3070 from Rohan5commit/docs/fix-in-between-comment-20260413

Fix typo in searcher.js comment
This commit is contained in:
Eric Huss 2026-04-21 02:15:53 +00:00 committed by GitHub
commit da012e5589
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -142,7 +142,7 @@ window.search = window.search || {};
const teaser = makeTeaser(escapeHTML(result.doc.body), searchterms);
teaser_count++;
// The ?URL_MARK_PARAM= parameter belongs inbetween the page and the #heading-anchor
// The ?URL_MARK_PARAM= parameter belongs in between the page and the #heading-anchor
const url = doc_urls[result.ref].split('#');
if (url.length === 1) { // no anchor found
url.push('');