diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-01-16 15:38:08 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-01-16 15:38:08 +0100 |
| commit | 3a7e247acb6cd9c1bc9707d0b37ebba34f788006 (patch) | |
| tree | 08ab24c309bf882c7e3d092c823aa54325ff1f7b /src/tools/rustdoc-js | |
| parent | 026c7499895a7c251cc9f72345600195738f22fc (diff) | |
| download | rust-3a7e247acb6cd9c1bc9707d0b37ebba34f788006.tar.gz rust-3a7e247acb6cd9c1bc9707d0b37ebba34f788006.zip | |
Fix for older JS versions
Diffstat (limited to 'src/tools/rustdoc-js')
| -rw-r--r-- | src/tools/rustdoc-js/tester.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/rustdoc-js/tester.js b/src/tools/rustdoc-js/tester.js index 9b7e151b1ff..7c9ee2a4943 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) { |