Hi, On 19 Nov 2003, at 17:24, Ilia Alshanetsky wrote:Any comments?
I find that useful for something I am writing right now and I was about to propose that myself :). I'd go for php_check_syntax() or at least file_validate() and php_strip_whitespace() or at least file_strip_whitespace(), but that's not too important here.
+1 if anyone cares,
If we're talking about naming the how about script_*?
Andi
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
