docs: backport #12830 to 5.x

vkarpov15 · vkarpov15 · commit fd1fa9d83d66 · 2022-12-27T17:01:19.000-05:00
diff --git a/docs/js/search.js b/docs/js/search.js
@@ -9,9 +9,12 @@ for (var i = 0; i < pairs.length; ++i) {
   }
 }
 
+var versionFromUrl = window.location.pathname.match(/^\/docs\/(\d+\.x)/);
+var version = versionFromUrl ? versionFromUrl[1] : '6.x';
+
 if (q != null) {
   document.getElementById('search-input').value = decodeURIComponent(q);
-  fetch(root + '/search?search=' + q).
+  fetch(root + '/search?search=' + q + '&version=' + version).
     then(function(res) { return res.json(); }).
     then(
       function(result) {

Original file line number	Diff line number	Diff line change
`@@ -9,9 +9,12 @@ for (var i = 0; i < pairs.length; ++i) {`
`9`	`9`	`}`
`10`	`10`	`}`
`11`	`11`
	`12`	`+var versionFromUrl = window.location.pathname.match(/^\/docs\/(\d+\.x)/);`
	`13`	`+var version = versionFromUrl ? versionFromUrl[1] : '6.x';`
	`14`	`+`
`12`	`15`	`if (q != null) {`
`13`	`16`	`document.getElementById('search-input').value = decodeURIComponent(q);`
`14`		`- fetch(root + '/search?search=' + q).`
	`17`	`+ fetch(root + '/search?search=' + q + '&version=' + version).`
`15`	`18`	`then(function(res) { return res.json(); }).`
`16`	`19`	`then(`
`17`	`20`	`function(result) {`