Destroy a session in PHP

here is the script for destroying a session.......


< ?php
session_start();
session_destroy();
header("Location: logout.html");
?>