Ticket #2963: env-clearTimeout-patch.diff
File env-clearTimeout-patch.diff, 350 bytes (added by , 15 years ago) |
---|
-
env.js
76 76 return num; 77 77 }; 78 78 79 window.clear Interval = function(num){79 window.clearTimeout = window.clearInterval = function(num){ 80 80 if ( timers[num] ) { 81 81 timers[num].stop(); 82 82 delete timers[num];