From 5914180b9f1edacd5f8275262e0501f305089f34 Mon Sep 17 00:00:00 2001 From: AllenJB Date: Sun, 28 Sep 2025 12:45:20 +0100 Subject: [PATCH 1/2] 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 fbf662c2f0..15aef1d8f0 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"); From da9570e4f1562da25b0957b2826c8a0b45b6fe21 Mon Sep 17 00:00:00 2001 From: AllenJB Date: Sun, 28 Sep 2025 13:18:15 +0100 Subject: [PATCH 2/2] interactive-examples.js: Enable for informal examples and fix output replacement --- .editorconfig | 4 ++++ js/interactive-examples.js | 8 ++++++-- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/.editorconfig b/.editorconfig index b6249fbb09..96497cb17d 100644 --- a/.editorconfig +++ b/.editorconfig @@ -5,6 +5,10 @@ charset = utf-8 insert_final_newline = true trim_trailing_whitespace = true +[*.js] +indent_size = 2 +indent_style = space + [*.yaml] indent_size = 2 indent_style = space diff --git a/js/interactive-examples.js b/js/interactive-examples.js index 15aef1d8f0..7e67c952e3 100644 --- a/js/interactive-examples.js +++ b/js/interactive-examples.js @@ -72,10 +72,14 @@ async function main() { let exampleTitleParagraphElement = null; let exampleScreenPreElement = null; if (exampleTitleContainer !== null) { - exampleTitleParagraphElement = exampleTitleContainer.querySelector("p") + if (exampleTitleContainer.tagName === "P") { + exampleTitleParagraphElement = exampleTitleContainer; + } else { + exampleTitleParagraphElement = exampleTitleContainer.querySelector("p") + } const exampleScreenContainer = exampleTitleContainer.nextElementSibling; if (exampleScreenContainer !== null) { - exampleScreenPreElement = exampleScreenContainer.querySelector("pre"); + exampleScreenPreElement = exampleScreenContainer.querySelector("pre"); } }