<?php if (isset($_SESSION["user_id"]) && isset($_SESSION["team"]) && $_SESSION["team"] !== null) { /** * @var User $user * @var Team $team */ $user = $_SESSION["user"]; $team = $_SESSION["team"]; $video = Video::getVideo(Reason::SOLUTION, $team); $questions_received = Question::getQuestionsTo($team); } else require_once "server_files/403.php"; require_once "server_files/views/ma_participation.php";