From a21fbba83c2056247bea96644bfb57542e8b2838 Mon Sep 17 00:00:00 2001
From: Engelbert Niehaus <niehaus@uni-landau.de>
Date: Thu, 3 Dec 2020 20:47:52 +0100
Subject: [PATCH] Uncaught Mediatype Error image has type "img" or "svg"
 missing option for "svg"

---
 docs/js/wikiconvert.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/js/wikiconvert.js b/docs/js/wikiconvert.js
index eea6f9e..0497abc 100644
--- a/docs/js/wikiconvert.js
+++ b/docs/js/wikiconvert.js
@@ -1743,7 +1743,7 @@ this.process_normal = function(wikitext) {
 				//replace_str = '<video src="'+vURL+'"></video>'
 				pWikiCode = pWikiCode.replace(tokens[0], replace_str);
 			//} else if ((vFileType == "svg") || (vFileType == "img")) {
-			} else if (vFileType == "img") {
+			} else if ((vFileType == "img") || (vFileType == "svg")) {
 				//----------------------------------------------
 				//----------- MEDIATYPE: IMAGE-----------------
 				//----------------------------------------------
@@ -1796,7 +1796,7 @@ this.process_normal = function(wikitext) {
 					}
 				}; // else if vLineSplit.length
 			} else {
-				console.error("Uncaught MediaType: '" + vURL + "'");
+				console.error("Uncaught MediaType (" + vFileType + "): '" + vURL + "'");
 			} // else vFileType
 		}; // While tokens
 	  return pWikiCode;