From eb04d7083ac1525c85a09c3b4c4c00e7d6bef4fc Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <[EMAIL REDACTED]>
Date: Wed, 23 Oct 2024 03:41:43 +0000
Subject: [PATCH] search: exact page name matches should be case-insensitive.
Reference Issue #60.
---
index.php | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/index.php b/index.php
index 72ced08..9996325 100644
--- a/index.php
+++ b/index.php
@@ -1076,8 +1076,8 @@ function sort_search_results($a, $b)
$bias = 0;
global $search_query;
- $abase = (basename($a) == $search_query);
- $bbase = (basename($b) == $search_query);
+ $abase = (strcasecmp(basename($a), $search_query) == 0);
+ $bbase = (strcasecmp(basename($b), $search_query) == 0);
if ($abase && $bbase) {
$retval = ($bias != 0) ? $bias : $retval;
} else if ($abase) {