#44 Color PHP warnings in red.

hkirsman · hkirsman · commit ddefd8473611 · 2023-06-09T14:36:17.000+03:00
diff --git a/_ping.php b/_ping.php
@@ -151,7 +151,7 @@ public function run(): void {
     $profiling_tbl = $this->profile->getTextTable(PHP_EOL);
     print <<<TXT
 
-<pre>
+<pre style="color:red">
 $buffered_output
 </pre>
 
