From 800460f6c218f5f9ff32fd47fc16679ecf9deb9a Mon Sep 17 00:00:00 2001
From: AllenJB <AllenJB@users.noreply.github.com>
Date: Sun, 28 Sep 2025 12:45:20 +0100
Subject: [PATCH] interactive-examples.js: Enable for informal examples

---
 js/interactive-examples.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/interactive-examples.js b/js/interactive-examples.js
index fbf662c2f..15aef1d8f 100644
--- a/js/interactive-examples.js
+++ b/js/interactive-examples.js
@@ -60,7 +60,7 @@ class PHP {
 async function main() {
   let lastOutput = null;
 
-  document.querySelectorAll(".example .example-contents").forEach((example) => {
+  document.querySelectorAll(".example .example-contents, .informalexample .example-contents").forEach((example) => {
     const button = document.createElement("button");
     button.setAttribute("type", "button");
     const phpcode = example.querySelector(".phpcode.annotation-interactive");