Update std.js

lib/std.js

@@ -10,7 +10,6 @@
 /////////////////////////////////////////////////////////////////////////////////
 // Polyfills
 /////////////////////////////////////////////////////////////////////////////////
-
 if (!Function.prototype.GetResource) {
     Function.prototype.GetResource = function(ResourceName) {
         if (!this.Resources) {
@@ -28,37 +27,16 @@ if (!Function.prototype.GetResource) {
     }
 }
 
-// MS JScript Enumerator to Array
 if (!Enumerator.prototype.toArray) {
     Enumerator.prototype.toArray = function() {
-        var a = [];
+        var items = [];
         for (; !this.atEnd(); this.moveNext()) {
-            var x = {};
+            var item = this.item();
-            var b = new Enumerator(this.item().Properties_);
+            try {
-            for (; !b.atEnd(); b.moveNext()) {
+                items.push(item);
-                var c = b.item();
+            } catch (e) {}
-                if (typeof c.value !== "unknown") {
-                    try {
-                        x[c.name] = c.value.toString();
-                    } catch (e) {
-                        x[c.name] = c.value;
-                    }
-                } else {
-                    var i = 0, d = [];
-                    while (true) {
-                        try {
-                            d.push(c.value(i));
-                            i++;
-                        } catch (e) {
-                            break;
-                        }
-                    }
-                    x[c.name] = d;
-                }
-            }
-            a.push(x);
         }
-        return a;
+        return items;
     };
 }
 
@@ -72,7 +50,7 @@ global.GetResource = function(ResourceName) {
 
 // [lib/std] the time of `sleep()' function is not accuracy #34
 global.sleep = function(ms, callback) {
-	var handler = null;
+    var handler = null;
 
     var cur = Date.now();
     var end = cur + ms;
@@ -100,24 +78,24 @@ global.sleep = function(ms, callback) {
 };
 
 global.repeat = function(ms, callback) {
-	var handler = null;
+    var handler = null;
     
     var cur = Date.now();
     var end = cur + ms;
 
     if (typeof WScript !== "undefined") {
         while (cur < end) {
-			sleep(callback().ms);
+            sleep(callback().ms);
-			cur = Date.now();
+            cur = Date.now();
-		}
+        }
-		end = Date.now();
+        end = Date.now();
     } else if (typeof window !== "undefined") {
         if (typeof callback === "function")
             handler = setInterval(callback, ms)
         ;
     }
 
-	return { 'ms': end, 'handler': handler };
+    return { 'ms': end, 'handler': handler };
 };
 
 global.CHR = function(ord) {