Deconectarea din sesiune în PHP

Un utilizator autentificat trebuie să aibă posibilitatea să nu mai fie autentificat, adică să iasă din contul său. Pentru aceasta, este necesar să creezi o pagină separată și să ștergi pe ea marca de autentificare, aproximativ astfel:

logout.php<?php
  session_start();
  $_SESSION['auth'] = null;
?>

Задание 1

Implementați pagina logout.php, accesând care, utilizatorul nu va mai fi autentificat.

Задание 2

Modificați sarcina anterioară astfel încât pagina logout.php după executarea codului său să efectueze o redirecționare către index.php. Afișați pe această pagină un mesaj că utilizatorul nu mai este autentificat.