RE: [PHP-DEV] Patches and Extensions and Such

I for one have no use for line numbers in a phps file. 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. Can't this be option, default off (current behaviour)? Regards Mike Robinson -----Original Message----- From: Rick Widmer [mailto:php4@developersdesk.com] Sent: Wednesday, September 18, 2002 4:20 PM To: Jani Taskinen; Devon O'Dell Cc: Yasuo Ohgaki; php-dev@lists.php.net Subject: Re: [PHP-DEV] Patches and Extensions and Such At 10:12 PM 9/18/02 +0300, Jani Taskinen wrote: > I was just thinking that .phps support is there to > just show source of some php file. I don't think it's > really any BC problem to always have line numbering on > for them. And have an optional parameter to the PHP function > to show those numbers if wanted. I agree! Has ANYONE given a good reason why .phps should not ALWAYS have line numbers turned on. ?HIGHLIGHT_FORMAT is a hassle and likeley to be forgotten when you need it most. People who don't use .phps have no business in making this decision. You are free to disable it on your system and ignore it. I don't understand what's the big deal about this thing anyway? > It's nice new feature. It sure is! Rick -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php