On Wed, 19 Nov 2003, Andi Gutmans wrote:
>At 02:23 PM 11/19/2003 -0500, Ilia Alshanetsky wrote:
>> > IMHO it should be php_check_syntax() and not
>> > script_check_syntax() to make clear what it actualy
>> > checks (it won't check the syntax of my shell, awk
>> > or perl scripts, would it? ;)
>>
>>Good idea, we already have some function that utilize php_ prefix, might as
>>well continue with the trend. How about php_lint() & php_strip()?
>
>I hate the name lint and strip is kind of too short.
>Why not keep it long like Hartmut suggested such as php_check_syntax(),
>php_strip_whitespace()?
It strips more than whitespace too.. :)
And I'd favor php_strip() and php_lint(). Consistent with the
command line options too.
--Jani
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
