Re: Patches and Extensions and Such

From: 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

« previous php.dev (#88412) next »