tapestry/tapestry-framework/src/js/dojo-0.4.3/src/animation/Timer.js

dojo.provide("dojo.animation.Timer");
dojo.require("dojo.lang.timing.Timer");
dojo.deprecated("dojo.animation.Timer is now dojo.lang.timing.Timer","0.5");
dojo.animation.Timer=dojo.lang.timing.Timer;