From 19a3387f2cae0411e591070ba728eedacea2335b Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Fri, 05 Jul 2019 22:27:13 +0000
Subject: [PATCH] Use CSS icon for geolocation button, wrap it in #menu
---
stops/index.php | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/stops/index.php b/stops/index.php
index 2b7658b..eca9c39 100644
--- a/stops/index.php
+++ b/stops/index.php
@@ -50,11 +50,12 @@
$stop_list = [];
$query_lower = normalize_name_cmp($_GET['query']);
foreach($ids as $id) {
- similar_text(
+ $letters = similar_text(
$query_lower,
normalize_name_cmp($stops[$id]),
$percent
);
+ $percent += $letters * 100;
// -5 due to UTF-8
if(substr($stops[$id], -5) == '(nż)' && !$find_ondemand) {
$percent /= 2;
--
Gitblit v1.9.1