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
         );