$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