2019-08-06 21:34:58 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
if (session_status() == PHP_SESSION_NONE) {
|
2019-09-07 16:42:31 +01:00
|
|
|
session_start();
|
2019-08-06 21:34:58 +02:00
|
|
|
}
|
2025-01-20 00:55:21 -08:00
|
|
|
|
|
|
|
if (!isset($_SESSION['lastActivity'])) {
|
|
|
|
$_SESSION['lastActivity'] = time();
|
|
|
|
}
|
|
|
|
|