Update search-results-controller.php

2026-07-18 16:22:03 +02:00
parent 0b4c5f988d
commit 97302f1bb3
1 changed files with 1 additions and 0 deletions
@@ -2,6 +2,7 @@
 if (session_status() === PHP_SESSION_NONE) {
    session_start();
 }
+
 require_once '../model/ArticleManager.php';
 require_once '../model/UserManager.php';
 require_once '../model/Article.php';