From f1de5f8d11b90e98d77918e839d0bb3fac5462fb Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Tue, 09 Jun 2020 21:39:25 +0000
Subject: [PATCH] [map] Add parameter for poll api refresh interval
---
stops/common.php | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/stops/common.php b/stops/common.php
index 54fdfdd..8cf4642 100644
--- a/stops/common.php
+++ b/stops/common.php
@@ -15,3 +15,11 @@
return array_values($words);
}
+
+function normalize_name($string) {
+ return strtr(strtr($string, ['.' => '. ']), [' ' => ' ']);
+}
+
+function normalize_name_cmp($string) {
+ return normalize_name(mb_strtolower($string, 'UTF-8'));
+}
--
Gitblit v1.9.1