Index: env.js

--- env.js (revision 4886)

+++ env.js (working copy)

@@ -83,6 +83,8 @@

}

};

+ window.clearTimeout = window.clearInterval;

+

// Window Events

var events = [{}];