<?php
  require_once __DIR__.'/config.php';
  $mysqli = new mysqli(DB_HOST, DB_USER, DB_PASS, DB_NAME);
  if ($mysqli->connect_errno) { die('DB connection failed: '.$mysqli->connect_error); }
  $mysqli->set_charset('utf8mb4');

  function pdo() { // simple PDO for convenience if needed
    static $pdo = null;
    if ($pdo) return $pdo;
    $dsn = 'mysql:host='.DB_HOST.';dbname='.DB_NAME.';charset=utf8mb4';
    $pdo = new PDO($dsn, DB_USER, DB_PASS, [PDO::ATTR_ERRMODE=>PDO::ERRMODE_EXCEPTION]);
    echo $pdo;
    return $pdo;
  }

  function e($s){
    return htmlspecialchars($s ?? '', ENT_QUOTES, 'UTF-8');
  }
  function is_admin(){
    return isset($_SESSION['admin_id']);
  }
  function require_admin(){
    if(!is_admin()) {
      echo "<script>location.href = 'login.php';</script>";
      exit;
    }
  }
  function is_student(){
    return isset($_SESSION['student_id']);
  }
  function require_student(){
    if(!is_student()) {
      echo "<script>location.href = 'student/login.php';</script>";
      // header('Location: student/login.php'); exit;
    }
  }
?>
