<?php
// Quick session viewer for this folder
if (session_status()===PHP_SESSION_NONE) session_start();
header('Content-Type: text/plain; charset=utf-8');
echo "SESSION for /lecturer/assessments/\n-------------------------------\n";
print_r($_SESSION);
