From a423d2d4b0812339e10fd5101fddb31780061903 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 26 May 2020 11:48:59 +0200
Subject: [PATCH] Improve formatting

---
 src/librustdoc/html/static/main.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 8413f9397067..22c9426db203 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -57,7 +57,6 @@ function defocusSearchBar() {
     getSearchInput().blur();
 }
 
-
 (function() {
     "use strict";
 
@@ -494,7 +493,8 @@ function defocusSearchBar() {
                     url = url.substring(0, url.length - match[0].length);
                 }
 
-                url += "/" + document.getElementsByClassName("version-selector")[0].value + stripped;
+                var selectedVersion = document.getElementsByClassName("version-selector")[0].value;
+                url += "/" + selectedVersion + stripped;
 
                 document.location.href = url;
             };