|
|
@@ -617,9 +617,6 @@ class Debugger
|
|
|
*/
|
|
|
protected static function _highlight(string $str): string
|
|
|
{
|
|
|
- if (function_exists('hphp_log') || function_exists('hphp_gettid')) {
|
|
|
- return htmlentities($str);
|
|
|
- }
|
|
|
$added = false;
|
|
|
if (strpos($str, '<?php') === false) {
|
|
|
$added = true;
|
|
|
@@ -628,7 +625,7 @@ class Debugger
|
|
|
$highlight = highlight_string($str, true);
|
|
|
if ($added) {
|
|
|
$highlight = str_replace(
|
|
|
- ['<?php <br/>', '<?php <br />'],
|
|
|
+ ['<?php <br/>', '<?php <br />', '<?php'],
|
|
|
'',
|
|
|
$highlight
|
|
|
);
|