From 314e358ddca77ee71a38d37a5bdc2f439d228f11 Mon Sep 17 00:00:00 2001
From: aymm <max.nuding@icloud.com>
Date: Mon, 10 May 2021 18:55:21 +0200
Subject: [PATCH] Fixed Unicode characters not being displayed on some systems

---
 globals.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/globals.php b/globals.php
index bca0775..d8453a1 100644
--- a/globals.php
+++ b/globals.php
@@ -129,7 +129,7 @@ function get_source_set($user, int $base_size, int $max_scale = 3): string
 function make_banner(string $type, string $content, string $custom_symbol = null): string
 {
   if (empty($custom_symbol)) {
-    $custom_symbol = $type === 'success' ? '✓' : '𐄂';
+    $custom_symbol = $type === 'success' ? '&#2713;' : '&#x00D7;';
   }
 
   return '<div class="banner-wrapper">'