[php-src] Issue #8243: Allow to show_source and highlight_file method to highlight a specific line with a different pattern
| From: | staabm | Date: | Thu, 24 Mar 2022 10:37:57 +0000 |
| Subject: | [php-src] Issue #8243: Allow to show_source and highlight_file method to highlight a specific line with a different pattern | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-240476@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/8243
Comment Author: staabm
sounds like you should use https://github.com/filp/whoops instead of re-building it