@@ -123,13 +123,21 @@ public function fileExcerpt(string $file, int $line, int $srcContext = 3): ?stri
123
123
// highlight_file could throw warnings
124
124
// see https://bugs.php.net/25725
125
125
$ code = @highlight_file ($ file , true );
126
- // remove main code/span tags
127
- $ code = preg_replace ('#^<code.*?>\s*<span.*?>(.*)</span>\s*</code>#s ' , '\\1 ' , $ code );
128
- // split multiline spans
129
- $ code = preg_replace_callback ('#<span ([^>]++)>((?:[^<]*+<br \/>)++[^<]*+)</span># ' , function ($ m ) {
130
- return "<span $ m [1 ]> " .str_replace ('<br /> ' , "</span><br /><span $ m [1 ]> " , $ m [2 ]).'</span> ' ;
131
- }, $ code );
132
- $ content = explode ('<br /> ' , $ code );
126
+ if (\PHP_VERSION_ID >= 80300 ) {
127
+ // remove main pre/code tags
128
+ $ code = preg_replace ('#^<pre.*?>\s*<code.*?>(.*)</code>\s*</pre>#s ' , '\\1 ' , $ code );
129
+ // split multiline code tags
130
+ $ code = preg_replace_callback ('#<code ([^>]++)>((?:[^<]*+ \\n)++[^<]*+)</code># ' , fn ($ m ) => "<code $ m [1 ]> " .str_replace ("\n" , "</code> \n<code
8000
span>$ m [1 ]> " , $ m [2 ]).'</code> ' , $ code );
131
+ // Convert spaces to html entities to preserve indentation when rendered
132
+ $ code = str_replace (' ' ,' ' , $ code );
133
+ $ content = explode ("\n" , $ code );
134
+ } else {
135
+ // remove main code/span tags
136
+ $ code = preg_replace ('#^<code.*?>\s*<span.*?>(.*)</span>\s*</code>#s ' , '\\1 ' , $ code );
137
+ // split multiline spans
138
+ $ code = preg_replace_callback ('#<span ([^>]++)>((?:[^<]*+<br \/>)++[^<]*+)</span># ' , fn ($ m ) => "<span $ m [1 ]> " .str_replace ('<br /> ' , "</span><br /><span $ m [1 ]> " , $ m [2 ]).'</span> ' , $ code );
139
+ $ content = explode ('<br /> ' , $ code );
140
+ }
133
141
134
142
$ lines = [];
135
143
if (0 > $ srcContext ) {
0 commit comments