From e8bbd535d8cc24deedeba9b763db97df4045251b Mon Sep 17 00:00:00 2001
From: Kyle <41976328+ImKyle4815@users.noreply.github.com>
Date: Sun, 23 Oct 2022 11:04:57 -0700
Subject: [PATCH] infinity symbol + patreon list
---
creator/index.php | 2 ++
js/creator-23.js | 4 ++--
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/creator/index.php b/creator/index.php
index d8fae4ca..5b1ceadf 100644
--- a/creator/index.php
+++ b/creator/index.php
@@ -736,6 +736,8 @@ include('../globalHTML/header-1.php');
Julian N.
Sean A.
Johnny S.
+ Stef B.
+ Jovanny S.
And of course, thank you to all of those who have made donations in the past.
diff --git a/js/creator-23.js b/js/creator-23.js
index f3a71aad..0db6dc83 100644
--- a/js/creator-23.js
+++ b/js/creator-23.js
@@ -260,7 +260,7 @@ const setSymbolAliases = new Map([
const mana = new Map();
// var manaSymbols = [];
loadManaSymbols(['0', '1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12', '13', '14', '15', '16', '17', '18', '19', '20',
- 'w', 'u', 'b', 'r', 'g', 'c', 'x', 'y', 'z', 't', 'untap', 'e', 's', 'oldtap', 'originaltap', 'purple', "a"]);
+ 'w', 'u', 'b', 'r', 'g', 'c', 'x', 'y', 'z', 't', 'untap', 'e', 's', 'oldtap', 'originaltap', 'purple', "a", "inf"]);
loadManaSymbols(['wu', 'wb', 'ub', 'ur', 'br', 'bg', 'rg', 'rw', 'gw', 'gu', '2w', '2u', '2b', '2r', '2g', 'wp', 'up', 'bp', 'rp', 'gp', 'p',
'wup', 'wbp', 'ubp', 'urp', 'brp', 'bgp', 'rgp', 'rwp', 'gwp', 'gup', 'purplew', 'purpleu', 'purpleb', 'purpler', 'purpleg',
'2purple', 'purplep'], [1.2, 1.2]);
@@ -1855,7 +1855,7 @@ function changeCardIndex() {
if (card.text.mana) {card.text.mana.text = cardToImport.mana_cost || '';}
if (card.text.type) {card.text.type.text = langFontCode + cardToImport.type_line || '';}
if (card.text.rules) {
- var rulesText = curlyQuotes((cardToImport.oracle_text || '').replace('(', '{i}(').replace(')', '){/i}')).replace(/{Q}/g, '{untap}').replace(/• /g, '• {indent}');
+ var rulesText = curlyQuotes((cardToImport.oracle_text || '').replace('(', '{i}(').replace(')', '){/i}')).replace(/{Q}/g, '{untap}').replace(/{\u221E}/g, "{inf}").replace(/• /g, '• {indent}');
card.text.rules.text = langFontCode + rulesText;
if (cardToImport.flavor_text) {
var flavorText = cardToImport.flavor_text;