On November 19, 2003 02:11 pm, Hartmut Holzgraefe wrote:
> Ilia Alshanetsky wrote:
> > script_* is good, I have no naming preference. I am more interested to
> > know whether this functionality is something we need or not...
>
> it is not needed, you can just do
>
> system("php -l filename");
>
> instead ;)
Sure, but that's slow and more importantly, not everyone has access to php-cgi
/ php-cli to perform this action. Heck, many people do cannot use
exec,shell_exec,system,etc... functions because their providers disallow
execution funcitons.
> 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()?
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
