From db62cee09b2952624f2b97fc94db4a4ff2bd7559 Mon Sep 17 00:00:00 2001 From: NOrtmann1 Date: Sat, 18 Jul 2026 14:52:26 +0200 Subject: [PATCH] revert --- content/search-results.php | 52 ++- index.php | 2 +- js/paginator.js | 430 +++++++++---------- php/controller/search-results-controller.php | 46 +- 4 files changed, 281 insertions(+), 249 deletions(-) diff --git a/content/search-results.php b/content/search-results.php index d73b636..1d70d45 100644 --- a/content/search-results.php +++ b/content/search-results.php @@ -6,6 +6,12 @@ $log_msg = "DEBUG search-results.php: search_results count = " . count($_SESSION echo ""; $all_results = $_SESSION["search_results"] ?? []; +?> + + +