From 690cbb60b4adf432bee7b562226c5c99add3edef Mon Sep 17 00:00:00 2001
From: Hans Dijkema <hans@dijkewijk.nl>
Date: Sun, 17 May 2026 22:43:49 +0200
Subject: [PATCH] provide of audio-known-exts?

---
 audio-placed-player.rkt | 4 +++-
 audio-player.rkt        | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/audio-placed-player.rkt b/audio-placed-player.rkt
index 8287a43..2e08e47 100644
--- a/audio-placed-player.rkt
+++ b/audio-placed-player.rkt
@@ -8,7 +8,9 @@
          early-return
          )
 
-(provide placed-player)
+(provide placed-player
+         audio-known-exts?
+         )
 
 (define get-current-seconds current-seconds)
 
diff --git a/audio-player.rkt b/audio-player.rkt
index ae98263..303a62d 100644
--- a/audio-player.rkt
+++ b/audio-player.rkt
@@ -29,6 +29,7 @@
          audio-file
          audio-play?
          audio-buf-seconds!
+         audio-known-exts?
          )
 
 (define-struct audio-play