将"1305786147"时间戳格式化成"年-月-日 时：分：秒"后输出

//6.代码：将"1305786147"时间戳格式化成"年-月-日 时：分：秒"后输出。
$t="1305786147";
echo date("Y-m-d H:i:s",$t);
echo "<hr />";