add gzip type to support gziped wfa js

2026-09-08 22:02:10 +00:00
parent c816d15b1a
commit ed4cf064e3
7 changed files with 18 additions and 2 deletions
@@ -10,7 +10,7 @@ var wfa;
 async function init () {
 	setAppearance();

-	wfa = await wfaInit("modules/wfa.wasm");
+	wfa = await wfaInit("modules/wfa.wasm.gz");
 	initInstances();

 	document.querySelector("#instance-add").addEventListener("click", handleInstanceAddButton);