Fix PHP highlighting for PHP ≥ 8.3 (GH-156)

PHP 8.3 changed the details of highlighting PHP code[1], basically like
we did[2] at roughly the same time.  However, both don't work well
together, so we avoid that.

[1] <php/php-src#11913>
[2] <#79>

Author: cmb69

phpdotnet/phd/Highlighter.php

@@ -63,10 +63,15 @@ public function highlight($text, $role, $format)
 
         if ($role == 'php') {
             try {
-                return strtr(highlight_string($text, 1), [
-                    ' ' => ' ',
-                    "\n" => '',
-                ]);
+                $highlight = highlight_string($text, true);
+                if (PHP_VERSION_ID >= 80300) {
+                    return $highlight;
+                } else {
+                    return strtr($highlight, [
+                        ' ' => ' ',
+                        "\n" => '',
+                    ]);
+                }
             } catch (\ParseException $e) {
                 v("Parse error while highlighting PHP code: %s\nText: %s", (string) $e, $text, E_USER_WARNING);