diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-02-15 10:11:37 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-02-15 10:11:37 +0100 |
| commit | 719c8d40cc9fb024fbc48055ffdedb0370de0156 (patch) | |
| tree | 846413e49eb21d44679e672a6e9390bf9ae1ac7e | |
| parent | 9503ea19edbf01b9435e80e17d60ce1b88390116 (diff) | |
| download | rust-719c8d40cc9fb024fbc48055ffdedb0370de0156.tar.gz rust-719c8d40cc9fb024fbc48055ffdedb0370de0156.zip | |
Fix ES5 errors (IE11)
| -rw-r--r-- | src/librustdoc/html/static/main.js | 16 | ||||
| -rw-r--r-- | src/librustdoc/html/static/storage.js | 2 |
2 files changed, 12 insertions, 6 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index ec89ae0228c..d6d3171afbf 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -2908,10 +2908,14 @@ function defocusSearchBar() { ["⏎", "Go to active search result"], ["+", "Expand all sections"], ["-", "Collapse all sections"], - ].map(x => "<dt>" + - x[0].split(" ") - .map((y, index) => (index & 1) === 0 ? "<kbd>" + y + "</kbd>" : " " + y + " ") - .join("") + "</dt><dd>" + x[1] + "</dd>").join(""); + ].map(function(x) { + return "<dt>" + + x[0].split(" ") + .map(function(y, index) { + return (index & 1) === 0 ? "<kbd>" + y + "</kbd>" : " " + y + " "; + }) + .join("") + "</dt><dd>" + x[1] + "</dd>"; + }).join(""); var div_shortcuts = document.createElement("div"); addClass(div_shortcuts, "shortcuts"); div_shortcuts.innerHTML = "<h2>Keyboard Shortcuts</h2><dl>" + shortcuts + "</dl></div>"; @@ -2929,7 +2933,9 @@ function defocusSearchBar() { "You can look for items with an exact name by putting double quotes around \ your request: <code>\"string\"</code>", "Look for items inside another one by searching for a path: <code>vec::Vec</code>", - ].map(x => "<p>" + x + "</p>").join(""); + ].map(function(x) { + return "<p>" + x + "</p>"; + }).join(""); var div_infos = document.createElement("div"); addClass(div_infos, "infos"); div_infos.innerHTML = "<h2>Search Tricks</h2>" + infos; diff --git a/src/librustdoc/html/static/storage.js b/src/librustdoc/html/static/storage.js index a50ed5b662b..b8b6fcbaf3a 100644 --- a/src/librustdoc/html/static/storage.js +++ b/src/librustdoc/html/static/storage.js @@ -157,7 +157,7 @@ var updateSystemTheme = (function() { if (!window.matchMedia) { // fallback to the CSS computed value return function() { - let cssTheme = getComputedStyle(document.documentElement) + var cssTheme = getComputedStyle(document.documentElement) .getPropertyValue('content'); switchTheme( |
