Ticket #2963: env-clearTimeout-patch.diff

env.js

@@ -76 +76 @@
                 return num;
         };
         
-        window.clearInterval = function(num){
+        window.clearTimeout = window.clearInterval = function(num){
                 if ( timers[num] ) {
                         timers[num].stop();
                         delete timers[num];