From ec7e085aeec1ffc3f1967a3d53e81761eaed0b90 Mon Sep 17 00:00:00 2001
From: buzz-lightsnack-2007
 <73412182+buzz-lightsnack-2007@users.noreply.github.com>
Date: Mon, 6 May 2024 11:57:46 +0800
Subject: [PATCH] rename the error symbol

It's not really under the product information.
---
 media/config.symbols.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/media/config.symbols.json b/media/config.symbols.json
index cabf712..1ac23fe 100644
--- a/media/config.symbols.json
+++ b/media/config.symbols.json
@@ -1,11 +1,11 @@
 {
-	"extensionIcon_product_error": {
+	"extensionIcon_error": {
 		"symbol": "⚠"
 	},
 	"extensionIcon_product_bad": {
 		"symbol": "👎"
 	},
-	"extensionIcon_product_OK": {
+	"extensionIcon_product_ok": {
 		"symbol": "🆗"
 	},
 	"extensionIcon_product_good": {