页面无操作，自动过期函数

.页面长时间无操作，自动过期函数

<?php
 2  #*******************************************
 3 #作用:页面无操作，自动过期函数
 4 #参数:$onlinetime 当前页面最后一次使用时间 
 5 #参数:$interval 页面超时时间
 6 #返回:无
 7 #*******************************************
 8 function user_mktime($onlinetime,$interval){
 9    $new_time = mktime();
10    if($new_time-$onlinetime > $interval){
11       echo "登录超时！";
12       session_destroy();
13       exit();
14    }else{
15       $_SESSION[times] = mktime();
16    }   
17 }
18 user_mktime($_SESSION[times],3600) //1小时不使用，当前页面自动过期
19 ?>