PHP セッションを確実に削除する方法

unset($_SESSION);
$_SESSION = array();
if (isset($_COOKIE[session_name()])) {
setcookie(session_name(), ”, time()-42000, ‘/’);
}
session_destroy();