Re: phps line numbering
| From: | Florian Anderiasch | Date: | Wed, 15 Mar 2006 15:05:52 +0000 |
| Subject: | Re: phps line numbering | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-22457@lists.php.net to get a copy of this message | ||
Kevin Waterson schrieb:
> Addition of line numbering to phps
> This is a rather simple addition and will be benificial to all who use phps
> for debugging and/or displaying code. Its a simple diff to zend_highlight.c
Hello Kevin,
I haven't tested this - but if phps output is numbered, it will be
completely cluttered and you can't copy-paste anymore. Exactly when
*displaying* code so that people can adapt it that's a quite bad idea
then imho. Rather add another extension and leave .phps like it is.
Greetings,
Florian