$role = null;
if (!isset($_SESSION["user_id"])) {
header('Location: login.php');
return;
} else {
$user_id = $_SESSION["user_id"];
$role = $_SESSION["role"];
}
$database = null;
if ($role == 0) {
require_once "Database.php";
}
if (isset($_GET["reset"]) && $role == 0) {
if ($_GET["reset"] == true) {
$database = new Database();
$database->resetHighScore($_SESSION["user_id"]);
}
}
?>
<!DOCTYPE html>
<html lang="en">
<head>
<title>Bipartite Matching Game - Administrator</title>
<?php
include "inc/section_head.php";
?>
</head>
<body>
<?php
