Re: [PHP-DEV] var_dump_html()

2003-07-03 Thread Vlad Bosinceanu
I still fail to understand how this would be helpful to someone who's debugging a script (as I presume you're not showing the user nicely colorised var_dump()s). *shrug* Vlad Ken Tossell wrote: Quoting Vlad Bosinceanu <[EMAIL PROTECTED]>: What could it possibly colorize and how would it be

Re: [PHP-DEV] var_dump_html()

2003-07-03 Thread Vlad Bosinceanu
What could it possibly colorize and how would it be useful? epplestun wrote: In my opinion is good idea but Derick has rason, is better if var_dump_html colorise the output :-) -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] var_dump_html()

2003-07-03 Thread epplestun
In my opinion is good idea but Derick has rason, is better if var_dump_html colorise the output :-) - Original Message - From: "Marco Tabini" <[EMAIL PROTECTED]> To: "Derick Rethans" <[EMAIL PROTECTED]> Cc: <[EMAIL PROTECTED]> Sent: Thursday, July

Re: [PHP-DEV] var_dump_html()

2003-07-03 Thread Marco Tabini
My only consideration is that most people use var_dump in a web environment--hence it seems counterintuitive to have to enclose the function in additional HTML tags. Cheers! On Thu, 2003-07-03 at 11:09, Derick Rethans wrote: > On Thu, 3 Jul 2003, Marco Tabini wrote: > > > Not sure if this intere

Re: [PHP-DEV] var_dump_html()

2003-07-03 Thread Ken Tossell
Quoting Derick Rethans <[EMAIL PROTECTED]>: > On Thu, 3 Jul 2003, Marco Tabini wrote: > > > Not sure if this interest anyone, but the attached patch adds a function > > called var_dump_html() that performs the same functionality as > > var_dump(), except that it outputs HTML instead of plain text

Re: [PHP-DEV] var_dump_html()

2003-07-03 Thread Derick Rethans
On Thu, 3 Jul 2003, Marco Tabini wrote: > Not sure if this interest anyone, but the attached patch adds a function > called var_dump_html() that performs the same functionality as > var_dump(), except that it outputs HTML instead of plain text. > var_dump() is a bit impractical to use in a web env