public final function registrarUsuarioActual($usuario_modelo){ $_SESSION['usuario_actual'] = $usuario_modelo; }