◆ else

if (empty($_SESSION[ 'account'][ 'user'])) else

Valore iniziale:

{
            $tx = '<h1>logout</h1>'
                . '<form action="" method="post">'
                . '<input type="hidden" name="__logout__" value="1" />'
                . '<div><input type="submit" /></div>'
                . '</form>'

Definizione alla linea 32 del file _autenticazione.php.