javascript和ext实现定时器

<div id="test_div"> </div>

<!-- 引入ext库，使用相对路劲，记得在服务器上测试哦 -->
<script type="text/javascript" src="../extjs/ext-all.js"></script>  

<script>
function $(id){return document.getElementById(id);}

function clock()
{
	$("test_div").innerHTML = "" + (new Date()).toString();
}

// 方法1：用js内置的api实现的定时器
//setInterval(clock, 1000);

// 方法2：用EXT4.1实现的定时器
var task={
    run: clock,
    interval: 1000
};
Ext.TaskManager.start(task);

</script>