Fixed playground support for Edge

Playground/js/actions.js

@@ -23,7 +23,8 @@
     });
 
     // Handle click on select elements
-    for (var s of allSelect) {
+    for (var index = 0; index < allSelect.length; index++) {
+        var s = allSelect[index];
         // Get child called to display
         s.addEventListener('click', function (e) {
             var toDisplay = this.querySelector('.toDisplay');

Playground/js/index.js

@@ -559,9 +559,11 @@
             jsEditor.setValue(oldCode);
             setFontSize(fontSize);
 
-            for (var obj of elementToTheme) {
+            for (var index = 0; index < elementToTheme.length; index++) {
+                var obj = elementToTheme[index];
                 let domObjArr = document.querySelectorAll(obj);
-                for (let domObj of domObjArr) {
+                for (var domObjIndex = 0; domObjIndex < domObjArr.length; domObjIndex++) {
+                    var domObj = domObjArr[domObjIndex];
                     domObj.classList.remove('light');
                     domObj.classList.remove('dark');
                     domObj.classList.add(theme);