<?php
    header('Content-Type: application/json');
    require_once '../Config/db.php';

    $user_id = intval($_GET['user_id']);
    $sql = "SELECT r.pk_role, r.name 
            FROM workflowManager_hasRole hr
            INNER JOIN workflowManager_Role r ON hr.pkfk_role = r.pk_role
            WHERE hr.pkfk_user = $user_id";

    $result = mysqli_query($conn, $sql);
    $roles = [];

    while ($row = mysqli_fetch_assoc($result)) {
        $roles[] = $row;
    }

    echo json_encode($roles);
?>