<?php // Destroy the currently active session. session_destroy(); ?>
<?php unset($_SESSION['counter']); ?>
<?php session_destroy(); ?>