私は配列を持っています
$tokens = array('token1','token2','token3','token4','token5','token6');
この配列を SESSION に保存しました
$_SESSION["tokens"] = $tokens;
ここで、この配列から要素を削除する必要があります
if(in_array('token3',$_SESSION["tokens"])) {
// remove it from the array
}
'token3'
では、配列から要素を削除するにはどうすればよいです$_SESSION["tokens"]
か??