update

2026-08-20 17:00:06 +02:00
parent 5d8c0993a6
commit 94e7f09eb4
58 changed files with 5605 additions and 615 deletions
--- a/dsi.php
+++ b/dsi.php
@@ -0,0 +1,11 @@
+<?php
+
+declare(strict_types=1);
+
+require __DIR__ . '/page_bootstrap.php';
+
+/**
+ * Espace DSI (V7.11) : comptes d'accès, jetons et journal d'activité.
+ * Réservé au rôle DSI par acces_role_page — voir PageController::dsi().
+ */
+runPage('dsi');