Re: Patches and Extensions and Such
| From: | DJ Anubis | Date: | Thu, 19 Sep 2002 07:31:40 +0000 |
| Subject: | Re: Patches and Extensions and Such | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-88412@lists.php.net to get a copy of this message | ||
Le Mercredi 18 Septembre 2002 22:44, Mike Robinson a écrit :
> I for one have no use for line numbers in a phps file.
I dont't have use of line numbering in current apps. But, just wait a minute.
> I do have use for being able to copy/paste out of phps
> files, which would stop working with line numbers there.
> Some folks use phps files to distribute snippets and
> stuff.
This, at once is a very interesting use of line numbering, if the proposed
patch allows parametrization. Then, for a demo or training, line numbering of
snippets is a dream, as it allows one to comment code by line number instead
of some other hawkward methods. On the other hand, say linenumber_off or
whatever switch one can imagine when the snippet is to be reused canb be an
easy best of both worlds situation.
> Can't this be option, default off (current behaviour)?
For backwards compatibility, this would be nice. And just turn it on when
needed ;-)
Anubis