<?php

$problem = htmlspecialchars($_GET["probleme"]);

if (!preg_match("#[1-4]#", $problem))
	require_once "server_files/404.php";

if (isset($_GET["modifier"]) && $_SESSION["role"] != Role::ADMIN)
    require_once "server_files/403.php";

$has_error = false;
$error_message = null;

$teams = Team::getAllTeams($problem);

require_once "server_files/views/probleme.php";