Tidy up Javascript files

2026-04-21 22:54:53 +08:00 · 2023-10-31 19:08:20 +01:00
parent cb8d6448f5
commit d84c7d1f84
8 changed files with 56 additions and 28 deletions
--- a/public_included_ws_fallback/scripts/util.js
+++ b/public_included_ws_fallback/scripts/util.js
@@ -37,6 +37,9 @@ if (!navigator.clipboard) {
    }
 }

+const $ = query => document.getElementById(query);
+const $$ = query => document.querySelector(query);
+
 const zipper = (() => {

    let zipWriter;