<?php

declare(strict_types=1);
use Jumbojett\OpenIDConnectClient;

require_once BASE_PATH . '/vendor/autoload.php';
session_start();

function require_auth()
{
    if (!isset($_SESSION['user'])) {
        // Redirige vers la page de login
        header('Location: /auth/login.php');
        exit;
    }
}

function get_oidc_client(): OpenIDConnectClient
{
    $oidc = new OpenIDConnectClient(
        'https://idp.a5l.fr/realms/master',
        'varlog-client-id',
        'varlog-client-secret'
    );
    $oidc->setRedirectURL('http://varlog.acegrp.lan/auth/callback.php');
    $oidc->addScope('openid email profile');
    return $oidc;
}