| @@ 448-456 (lines=9) @@ | ||
| 445 | $lines = array_slice($lines, $offset, 16); |
|
| 446 | echo '<pre>'; |
|
| 447 | $offset++; |
|
| 448 | foreach($lines as $line) { |
|
| 449 | $line = htmlentities($line, ENT_COMPAT, 'UTF-8'); |
|
| 450 | if ($offset == $errline) { |
|
| 451 | echo "<span>$offset</span> <span class=\"error\">$line</span>"; |
|
| 452 | } else { |
|
| 453 | echo "<span>$offset</span> $line"; |
|
| 454 | } |
|
| 455 | $offset++; |
|
| 456 | } |
|
| 457 | echo '</pre>'; |
|
| 458 | } |
|
| 459 | ||
| @@ 174-181 (lines=8) @@ | ||
| 171 | public function writeSourceFragment($lines, $errline) { |
|
| 172 | echo '<div class="trace"><h3>Source</h3>'; |
|
| 173 | echo '<pre>'; |
|
| 174 | foreach($lines as $offset => $line) { |
|
| 175 | $line = htmlentities($line, ENT_COMPAT, 'UTF-8'); |
|
| 176 | if ($offset == $errline) { |
|
| 177 | echo "<span>$offset</span> <span class=\"error\">$line</span>"; |
|
| 178 | } else { |
|
| 179 | echo "<span>$offset</span> $line"; |
|
| 180 | } |
|
| 181 | } |
|
| 182 | echo '</pre>'; |
|
| 183 | } |
|
| 184 | ||