$_REQUEST $_SESSION

$_SESSION $_SESSION[ 'used'] = time() Definizione alla linea 32 del file _715.session.php.