From 281bf18b683257f6ff4d46caaba0ea0028053961 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Tue, 2 Jun 2026 20:46:12 +0200
Subject: [PATCH] playground: fix history.replaceState shadowed by terminal's
 history global

---
 content/playground.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/playground.md b/content/playground.md
index 9f48b426f..14541a528 100644
--- a/content/playground.md
+++ b/content/playground.md
@@ -107,7 +107,7 @@ document.querySelectorAll('.playground-example').forEach(function(btn) {
     // Reflect the clicked example in the URL so it can be shared/bookmarked.
     var url = new URL(window.location.href);
     url.searchParams.set('cmd', cmd);
-    history.replaceState(null, '', url);
+    window.history.replaceState(null, '', url);
     document.getElementById('wasm-playground').scrollIntoView({ behavior: 'smooth' });
     if (window.runInTerminal) {
       window.runInTerminal(cmd);