docs: fix search re: #12830

Author: vkarpov15

docs/js/navbar-search.js

@@ -1,11 +1,18 @@
-document.getElementById('search-button-nav').onclick = function() {
-  var q = document.getElementById('search-input-nav').value;
-  window.location.href = 'search.html?q=' + encodeURIComponent(q);
-};
+(function() {
+  var versionFromUrl = window.location.pathname.match(/^\/docs\/(\d+\.x)/);
+  var version = versionFromUrl ? versionFromUrl[1] : defaultVersion;
 
-var q = document.getElementById('search-input-nav').onkeyup = function(ev) {
-  if (ev.keyCode === 13) {
+  var searchPrefix = versionFromUrl ? '/docs/' + version + '/docs/' : '/docs/';
+
+  document.getElementById('search-button-nav').onclick = function() {
     var q = document.getElementById('search-input-nav').value;
-    window.location.href = '/docs/search.html?q=' + encodeURIComponent(q);
-  }
-};
+    window.location.href = searchPrefix + 'search.html?q=' + encodeURIComponent(q);
+  };
+
+  document.getElementById('search-input-nav').onkeyup = function(ev) {
+    if (ev.keyCode === 13) {
+      var q = document.getElementById('search-input-nav').value;
+      window.location.href = searchPrefix + '/search.html?q=' + encodeURIComponent(q);
+    }
+  };
+})();

docs/js/search.js

@@ -9,8 +9,9 @@ for (var i = 0; i < pairs.length; ++i) {
   }
 }
 
+var defaultVersion = '6.x';
 var versionFromUrl = window.location.pathname.match(/^\/docs\/(\d+\.x)/);
-var version = versionFromUrl ? versionFromUrl[1] : '6.x';
+var version = versionFromUrl ? versionFromUrl[1] : defaultVersion;
 
 if (q != null) {
   document.getElementById('search-input').value = decodeURIComponent(q);