//========================== 定义redirect() 开始 =========================//
/**
* Define the redirect() jump function, which is used to jump to the specified page according to the requirements after user operation.
*
* @param unknown_type $ms is used to adjust the jump required Seconds
* @param unknown_type $url is the address to specify the jump to
* @param unknown_type $text is the information when the jump is displayed
*/
function redirect($ms ='', $url='', $text=''){
echo <<
EOT;
}
//========================== 定义redirect() 结束 =========================//
?>