From 3a7e247acb6cd9c1bc9707d0b37ebba34f788006 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 16 Jan 2018 15:38:08 +0100
Subject: [PATCH] Fix for older JS versions

---
 src/tools/rustdoc-js/tester.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/rustdoc-js/tester.js b/src/tools/rustdoc-js/tester.js
index 9b7e151b1ffe..7c9ee2a49430 100644
--- a/src/tools/rustdoc-js/tester.js
+++ b/src/tools/rustdoc-js/tester.js
@@ -115,7 +115,7 @@ function lookForEntry(entry, data) {
             if (!entry.hasOwnProperty(key)) {
                 continue;
             }
-            let value = data[i][key];
+            var value = data[i][key];
             // To make our life easier, if there is a "parent" type, we add it to the path.
             if (key === 'path' && data[i]['parent'] !== undefined) {
                 if (value.length > 0) {