Re: highlight_file modification
| From: | Tom Sommer | Date: | Wed, 11 Sep 2002 14:06:16 +0000 |
| Subject: | Re: highlight_file modification | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-88181@lists.php.net to get a copy of this message | ||
"Devon O'Dell" <devon@sitetronics.com> wrote in
news:3D7F3AD6.1080108@sitetronics.com...
> The other option is just making it work with line numbering regardless.
> This won't break any scripts, just make them have line numbers instead.
This is not a good idea, many may find line-numbers useless in some
cases/scripts...
I agree that it would be an great idea to make it an optional parameter, and
NOT in the ini file :)
This applies in both highligt_file, show_source and highlight_string
--
* Tom Sommer
* http://www.tsn.dk | webmaster(a)tsn.dk
* Any sufficiently advanced bug is indistinguishable from a feature