Estaba incorporando a mi página el magnífico aporte del sistema de registro de usuarios de Pato12 (aportes), y me surge una duda que no abordan en el post (sí, soy el más burro de todos).
Describe una página como "salir.php" con este código:
<?
session_start();
if(!isset($_SESSION['s_username'])){
header("location: entra.html");
} else {
session_unset();
session_destroy();
header("location: index.php");
}
?>
¿Donde meto este código...?

Gracias y un saludo.