<?php
// session_ping.php : maintient la session active lors d'une action "Rester connecté".
// Réponse rapide sans sortie HTML.
@session_start();
header('Content-Type: application/json');
// Mettre à jour un timestamp de dernière activité côté serveur si besoin
$_SESSION['last_ping'] = time();
echo json_encode(['ok'=>true,'time'=>$_SESSION['last_ping']]);
