<?php

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

$admins = User::getAdmins();

require_once "server_files/views/admins.php";