From 4e78f07bf8cf1b1abfe88729f10cf02c2ec41797 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Sat, 06 Jul 2019 15:34:09 +0000
Subject: [PATCH] Fix mismatched start-end tag in map.html
---
stops/common.php | 10 +++++++++-
1 files changed, 9 insertions(+), 1 deletions(-)
diff --git a/stops/common.php b/stops/common.php
index 0d6c3cf..8cf4642 100644
--- a/stops/common.php
+++ b/stops/common.php
@@ -13,5 +13,13 @@
}
unset($word);
- return $words;
+ 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