From 6063e655372e37bcd3aee7b5934da8134c498457 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Sat, 04 May 2019 15:11:28 +0000
Subject: [PATCH] Update stops, ignore stop "Mały Płaszów", now "Mały Płaszów P+R"
---
stops/index.php | 9 +++++----
1 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/stops/index.php b/stops/index.php
index 5795afa..eca9c39 100644
--- a/stops/index.php
+++ b/stops/index.php
@@ -48,20 +48,21 @@
// Build a structure for the UI
$stop_list = [];
- $query_lower = mb_strtolower($_GET['query'], 'UTF-8');
+ $query_lower = normalize_name_cmp($_GET['query']);
foreach($ids as $id) {
- similar_text(
+ $letters = similar_text(
$query_lower,
- mb_strtolower($stops[$id], 'UTF-8'),
+ normalize_name_cmp($stops[$id]),
$percent
);
+ $percent += $letters * 100;
// -5 due to UTF-8
if(substr($stops[$id], -5) == '(nż)' && !$find_ondemand) {
$percent /= 2;
}
$stop_list[] = [
'id' => $id,
- 'name' => $stops[$id],
+ 'name' => normalize_name($stops[$id]),
'type' => 'stop',
'relevance' => $percent,
];
--
Gitblit v1.9.1