URL-decode the ID to make it work with non-ASCII characters

Fixes #1812.
2020-02-24 08:29:02 -06:00 · 2020-02-24 08:29:02 -06:00 · 509ef01213
parent dfdf19e17f
commit 509ef01213
1 changed files with 1 additions and 1 deletions
--- a/Rendering/newsfoot.js
+++ b/Rendering/newsfoot.js
@ -118,7 +118,7 @@
 			
 	function idFromHash(target) {
 		if (!target.hash) return;
-		return target.hash.substring(1);
+		return decodeURIComponent(target.hash.substring(1));
 	}
 	/** @type {{fnref(target:HTMLAnchorElement): string|undefined}[]} */
 	const footnoteFormats = [