PHP で年がうるう年かどうかを判断するにはどうすればよいですか?

<?php
header("content-type:text/html;charset=utf-8");
$year=mt_rand(1900,2200);//从1900年到2200，可以自己改，也可以给一个定值。
if($year%100==0){//判断世纪年
if ($year%400==0&&$year%3200!=0){
   echo "世纪年".$year."是闰年!";//世纪年里的闰年
}
else{echo "世纪年".$year."不是闰年!";}
}
else{//剩下的就是普通年了
   if($year%4==0&&$year%100!=0){
   echo "普通年".$year."是闰年!";//普通年里的闰年
}
else {echo "普通年".$year."不是闰年!";}
}
?>

<?php
header("content-type:text/html;charset=utf-8");
$year = 2008;//可以像上例一样用mt_rand随机取一个年，也可以随便赋值。
$time = mktime(20,20,20,4,20,$year);//取得一个日期的 Unix 时间戳;
if (date("L",$time)==1){ //格式化时间，并且判断是不是闰年，后面的等于一也可以省略；
echo $year."是闰年";
}else{
echo $year."不是闰年";
}
?>

<?php
header("content-type:text/html;charset=utf-8");
$year = 2000;
$time = mktime(20,20,20,2,1,$year);//取得一个日期的 Unix 时间戳;
if (date("t",$time)==29){ //格式化时间，并且判断2月是否是29天；
echo $year."是闰年";//是29天就输出时闰年；
}else{
echo $year."不是闰年";
}
?>