WIP: plugin for Garmin badges

2026-01-08 04:23:52 -05:00 · 2024-08-22 11:23:36 +02:00
parent d5392c483c
commit 56fccc8506
2 changed files with 138 additions and 0 deletions
--- a/examples/garmin_badges/index.d.ts
+++ b/examples/garmin_badges/index.d.ts
@@ -0,0 +1,15 @@
+declare module 'main' {
+  // Extism exports take no params and return an I32
+  export function start(): I32;
+  export function two(): I32;
+  export function parseResp(): I32;
+  export function three(): I32;
+  export function config(): I32;
+}
+
+declare module 'extism:host' {
+  interface user {
+    redirect(ptr: I64): void;
+    notarize(ptr: I64): I64;
+  }
+}
--- a/examples/garmin_badges/index.js
+++ b/examples/garmin_badges/index.js