PHP 时间函数

<?php
//   //时间
//   $TimeStamp=gettimeofday();    //时间戳
//   $time=time();                              //转换为时间戳
  
//   $Time=date("Y-m-d H:i:s",$time+(60*60*8));

//   echo $Time;
  
 //=================时间mktime()==\
                      //时  分 秒 月 日 年
// $mk=mktime(8,8,8,8,8,2008); //2008-8-8 8:8:8时间戳
  
//   echo date("Y-m-d H:i:s",$mk);
  
 //===================strtotime() 将字符串转化为时间戳
//   $str=strtotime("2017-4-13 15:23:47");
//   echo date("Y-m-d H:i:s",$str);
  
  //===================getlastmod();得到现在的时间戳
//    $get=getlastmod();
//    echo date("Y-m-d H:i:s",$get);
   
   //====================putenv()获得本地的时间
    //============== date_default_timezone_set()
//     date_default_timezone_set("Asia/Shanghai");
    
//     echo date("Y-m-d H:i:s");
    
     //======localtime()
     
    //explode分割字符串
    $String="ASDIO uuuu";
    list($a,$b)=explode(' ', $String);
    print_r($a);
?>