diff --git a/docs/js/search.js b/docs/js/search.js index 71c623502e2..2d62ed66901 100644 --- 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) {