21,887
社区成员
发帖
与我相关
我的任务
分享
$search_input=$_REQUEST["search_input"];
$search_input = preg_replace('/\s(?=\s)/','', $search_input);
$search_array=explode(" ",$search_input);
if (is_array($search_array)){
$search_array=implode("|",$search_array);
}
$clientNumber=preg_replace("/($search_array)/i","<font style='color:#aa1234'>\\1</font>",$clientNumber);
$clientTime=preg_replace("/($search_array)/i","<font style='color:#aa1234'>\\1</font>",$clientTime);
echo "<div id='page_list_$i' class='page_default' url='./client_list.php?page=$i&search_list=$search_list&search_input=$search_input'>$i</div>";