From 9c57a40387d6024decfddd7d313184b564f6a909 Mon Sep 17 00:00:00 2001
From: Midgard <midgard@zeus.ugent.be>
Date: Tue, 7 Nov 2023 18:59:08 +0100
Subject: [PATCH] Recognize more emoji

---
 check_numberdealers.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/check_numberdealers.py b/check_numberdealers.py
index 7175cda..d6d8333 100755
--- a/check_numberdealers.py
+++ b/check_numberdealers.py
@@ -36,6 +36,9 @@ for line in sys.stdin:
 		message = re.sub(r"^[#>]* *|[*_`]*", "", message)
 		for emoji, numb in NUMBER_EMOJI.items():
 			message = re.sub(f":{emoji}: *", numb, message)
+		for numb in range(0, 9+1):
+			message = re.sub(f":(green)?num{numb}: *", str(numb), message)
+		message = message.replace("\ufe0f", "").replace("\u20e3", "")
 		message = message.strip()
 	else:
 		try: