asistencia/import/html_header_index.php

<?php
require "include/constantes.php";
if (isset($_SESSION["user"])) {
header("location:main.php");
}
function html_header($title, $header = null, $links = [])
{
?>
    <nav class="navbar sticky-top navbar-light bg-white">
        <header class="container-fluid">
            <div class="menu">
                <a class="navbar-brand" href="/"><img id="logo" src="imagenes/logo_lasalle.png" class="img-fluid" /></a>
            </div>
        </header>
    </nav>
    <!-- Barra azul -->
    <div class="row bg-info mx-0 barra-gris">
        <?php
        if ($header != null) {
        ?>
            <div class="marco">
                <div class="col-sm-12">
                    <h2 class="text-muted"><?= $header; ?>
                </div>
            </div>
        <?php } ?>
        <div class="marco">
            <div class="col-sm-12 py-3">
                <h2 class="text-uppercase"><?= $title; ?></h2>
            </div>
        </div>
    </div>
<?php
}