From 4527bafad07d3e365887fcf3d99c55b40bb2df59 Mon Sep 17 00:00:00 2001
From: Daniel Scherzer <daniel.e.scherzer@gmail.com>
Date: Sun, 16 Mar 2025 21:08:18 -0700
Subject: [PATCH] gen_stub: break up closing tag in DOMCdataSection

Otherwise GitHub's syntax highlighting treats it as the end of the code and
stops highlighting
---
 build/gen_stub.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/build/gen_stub.php b/build/gen_stub.php
index 1919d2e702a..d15313d5c09 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -1975,12 +1975,16 @@ ENDCOMMENT
 
         $prog = $doc->createElement('programlisting');
         $prog->setAttribute('role', 'php');
+        // So that GitHub syntax highlighting doesn't treat the closing tag
+        // in the DOMCdataSection as indication that it should stop syntax
+        // highlighting, break it up
+        $empty = '';
         $code = new DOMCdataSection(
             <<<CODE_EXAMPLE
 
 <?php
 echo "Code example";
-?>
+?$empty>
 
 CODE_EXAMPLE
         );