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;
?>