2019-09-12 10:18:15 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
$problem = htmlspecialchars($_GET["probleme"]);
|
|
|
|
|
|
2019-10-04 19:41:12 +00:00
|
|
|
if (!preg_match("#[0-4]#", $problem))
|
2019-09-12 10:18:15 +00:00
|
|
|
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;
|
|
|
|
|
|
2019-09-19 22:02:01 +00:00
|
|
|
$teams = Team::getAllTeams($problem);
|
2019-09-12 10:18:15 +00:00
|
|
|
|
|
|
|
|
require_once "server_files/views/probleme.php";
|
