Index: ports/devenv/devenvwidget/demo.js |
diff --git a/ports/devenv/devenvwidget/demo.js b/ports/devenv/devenvwidget/demo.js |
index 71947bae4636e87808170153311837e0f03eec0f..0f839eca3fcf510633930115a3314674423b3f3f 100644 |
--- a/ports/devenv/devenvwidget/demo.js |
+++ b/ports/devenv/devenvwidget/demo.js |
@@ -4,6 +4,10 @@ |
* found in the LICENSE file. |
*/ |
+/* globals DevEnvWidget */ |
+ |
+'use strict'; |
+ |
// This is an example use of devenvwidget.js. |
function $(i) { |
return document.querySelector(i); |