From d078763fa1f21434b825a0a2e0e6aa2858e1f9d2 Mon Sep 17 00:00:00 2001
From: Sarah Hoffmann <lonvia@denofr.de>
Date: Mon, 20 Feb 2023 16:46:53 +0100
Subject: [PATCH] harmonize flags for PHP's htmlspecialchars

---
 lib-php/DebugHtml.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib-php/DebugHtml.php b/lib-php/DebugHtml.php
index 2207d529..7b0cba2d 100644
--- a/lib-php/DebugHtml.php
+++ b/lib-php/DebugHtml.php
@@ -135,7 +135,7 @@ class Debug
 
     public static function printSQL($sSQL)
     {
-        echo '<p><tt><b>'.date('c').'</b> <font color="#aaa">'.htmlspecialchars($sSQL).'</font></tt></p>'."\n";
+        echo '<p><tt><b>'.date('c').'</b> <font color="#aaa">'.htmlspecialchars($sSQL, ENT_QUOTES | ENT_SUBSTITUTE | ENT_HTML401).'</font></tt></p>'."\n";
     }
 
     private static function outputVar($mVar, $sPreNL)
@@ -183,7 +183,7 @@ class Debug
             $sOut = (string)$mVar;
         }
 
-        echo htmlspecialchars($sOut);
+        echo htmlspecialchars($sOut, ENT_QUOTES | ENT_SUBSTITUTE | ENT_HTML401);
         return strlen($sOut);
     }
 }
-- 
2.39.5