php日期时间处惯用函数

?

<?php	date_default_timezone_set("prc");// 设置时区	echo mktime() ."<br>"; //当前时间戳	echo time()."<br>";	echo date("Y-m-d H:i:s")."<br>"; //获取系统当前时间	echo date("Y年m月d日 H时i分s秒")."<br>";	echo strtotime("05 May 2010")."<br>"; //转换时间		$arr = getdate(); //获取系统当前时间数组	print_r(getdate());	echo "<br>$arr[year]-$arr[mon]-$arr[mday] $arr[hours]:$arr[minutes]:$arr[seconds]";	echo "<br>".$arr['year']."-".$arr['mon']."-".$arr['mday']." ".$arr['hours'].":".$arr['minutes'].":".$arr['seconds']."<br>";		echo microtime()."<br>"; //微妙	print_r(explode(" ", microtime()));	list($msec, $sec) = explode(" ", microtime());	echo "<br>", $msec, "<br>", $sec;?>

?