从$arr中删除值为$RoomID的元素
$key = array_search ($RoomID, $arr);
if ($key !== false)
array_splice ($arr, $key, 1);
本文为“技术点滴”的原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接及本声明。
从$arr中删除值为$RoomID的元素
$key = array_search ($RoomID, $arr);
if ($key !== false)
array_splice ($arr, $key, 1);