From ae517065da8e530f3964b0cbf4ecf90c2c71b948 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Sun, 07 Jul 2019 20:20:32 +0000
Subject: [PATCH] Improve close/hide icons usage

---
 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