Re: highlight_file modification

Actually, sorry, i'm too tired to do the /demo thing tonight. It'll be compiled in tomorrow and you all can see it if you want. Sorry for the waste of space :\ Nite, Devon Original Message: ----------------- From: devon@sitetronics.com devon@sitetronics.com Date: Wed, 11 Sep 2002 18:40:44 -0400 To: webmaster@tsn.dk, php-dev@lists.php.net Subject: Re: [PHP-DEV] highlight_file modification Hehe, it's just a local patch, I don't have CVS commit access, and I wouldn't commit it now anyway if I did since there hasn't been any formal discussion about it. I've just developed it along what people have said they thought would be nice. Everything can easily be modified/removed as far as ini options and such. Additionally, that was just a little output demo. I'm making something at http://www.dapond.net/code/demo that will actually dynamically do that and the patched version will be built onto that machine tomorrow (afaik). I am only announcing my achievements, not intentions to stay in any one place with this. Thus, the reason I was asking how I should do it :) Devon Original Message: ----------------- From: Tom Sommer webmaster@tsn.dk Date: Thu, 12 Sep 2002 00:34:39 +0200 To: php-dev@lists.php.net Subject: Re: [PHP-DEV] highlight_file modification "Edin Kadribasic" <edink@proventum.net> wrote in news:20020912001918.0cad9ba7.edink@proventum.net... > Did I miss something here? I don't remember us reaching agreement about > adding another config option. He still has the right to make a patch if he wants to. Currently the way to go is to make the output and then in the end, find out how the configs for this new feature should be made... -- * Tom Sommer * http://www.tsn.dk | webmaster(a)tsn.dk * Any sufficiently advanced bug is indistinguishable from a feature -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php -------------------------------------------------------------------- mail2web - Check your email from the web at http://mail2web.com/ . -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php -------------------------------------------------------------------- mail2web - Check your email from the web at http://mail2web.com/ .