On Wed, Nov 19, 2003 at 02:23:44PM -0500, Ilia Alshanetsky wrote: > Good idea, we already have some function that utilize php_ prefix, might as > well continue with the trend. How about php_lint() & php_strip()? php_lint() sounds goodr, and I'm cool with either php_strip() or php_strip_whitespace().
I can see these functions being useful in various (albeit rare) situations. -- Jon Parise ([EMAIL PROTECTED]) :: The PHP Project (http://www.php.net/) -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
