function getUsuarios()
{
    $usuarios = array();
    $resultado = obtenerUsuarios();
    if ($resultado->num_rows > 0) {
        while ($row = $resultado->fetch_assoc()) {
            $usuario = new Usuario();
            $usuario->setId($row['id']);
            $usuario->setNombreUsuario($row['nombre_usuario']);
            $usuario->setClave($row['clave']);
            array_push($usuarios, $usuario);
        }
        return $usuarios;
    } else {
        return null;
    }
}
function run()
{
    $usuarios = array();
    $usuarios = obtenerUsuarios();
    if (obtenerUsuarios()) {
        if (isset($_POST["btnCambiarEstado"])) {
            if ($_POST["estadoUsuario"] == 'ACT') {
                deshabilitarUsuario($_POST["idUsuario"]);
                redirectToUrl("index.php?page=usuarioAdmin");
            }
            habilitarUsuario($_POST["idUsuario"]);
            redirectToUrl("index.php?page=usuarioAdmin");
        }
    } else {
        redirectToUrl("index.php?page=usuarioAdminVacio");
    }
    if (isset($_POST["btnSignOut"])) {
        mw_setEstaLogueado("", false, "");
        redirectToUrl("index.php?page=home");
    }
    renderizar("usuarioAdmin", array("usuarios" => $usuarios));
}
//El administrador también podrá crear un nuevo usuario, borrar usuarios o listarlos.
//En caso contrario, el usuario solo podrá cambiar su propio usuario o clave.
//Administrador
if ($_SESSION["tipousuario"] == "ADMIN") {
    //Permitir modificación de cualquier usuario mediante GET.
    if (!isset($_GET["usuario"]) || !existeUsuario($_GET["usuario"])) {
        $num_usuarios = getNumeroUsuarios();
        $total_paginas = ceil($num_usuarios / ELEMENTOS_POR_PAGINA);
        //El número de páginas depende de la cantidad de tareas que hay y de las tareas que queremos mostrar por página.
        //Si no hay definida ninguna página en el GET, por defecto entraremos en la primera.
        if (!isset($_GET["page"]) || $_GET["page"] < 1 || $_GET["page"] > $total_paginas) {
            $_GET["page"] = 1;
        }
        $pag_actual = $_GET["page"];
        //En este caso queremos mostrar las tareas en orden descendente respecto a la fecha de creación.
        $usuarios = obtenerUsuarios(ELEMENTOS_POR_PAGINA, ELEMENTOS_POR_PAGINA * ($pag_actual - 1));
        include VIEW_PATH . "lista_usuarios.html";
        //Finalmente mostramos el número de páginas que hay en nuestro resultado.
        echo "<p>Página {$pag_actual} de {$total_paginas}</p>";
        //Botones de ir a la primera página y a la anterior
        if ($pag_actual > 1) {
            echo '<a href="?ctrl=' . $_GET["ctrl"] . '&page=1">[<<]</a>';
            echo '<a href="?ctrl=' . $_GET["ctrl"] . '&page=' . ($pag_actual - 1) . '">[<]</a>';
        }
        //Números de página
        for ($i = 1; $i <= $total_paginas; $i++) {
            if ($pag_actual == $i) {
                echo "[{$i}]";
            } else {
                echo '<a href="?ctrl=' . $_GET["ctrl"] . '&page=' . $i . '">[' . $i . ']</a>';
            }