diff options
| -rw-r--r-- | src/librustdoc/html/static/playpen.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/playpen.js b/src/librustdoc/html/static/playpen.js index ef8bdf5e2ce..6b96a285992 100644 --- a/src/librustdoc/html/static/playpen.js +++ b/src/librustdoc/html/static/playpen.js @@ -12,6 +12,8 @@ /*globals $: true, rootPath: true */ document.addEventListener('DOMContentLoaded', function() { + 'use strict'; + if (!window.playgroundUrl) { return; } |
