Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:5574 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 63825 invoked by uid 1010); 19 Nov 2003 19:15:41 -0000 Delivered-To: ezmlm-scan-internals@lists.php.net Delivered-To: ezmlm-internals@lists.php.net Received: (qmail 63767 invoked from network); 19 Nov 2003 19:15:40 -0000 Received: from unknown (HELO asuka.nerv) (24.112.18.98) by pb1.pair.com with SMTP; 19 Nov 2003 19:15:40 -0000 Received: (qmail 14672 invoked from network); 19 Nov 2003 14:10:45 -0000 Received: from rei.nerv (HELO dummy.com) (rei@192.168.1.1) by asuka.nerv with SMTP; 19 Nov 2003 14:10:45 -0000 Reply-To: ilia@prohost.org Organization: Prohost.org To: Hartmut Holzgraefe , internals@lists.php.net Date: Wed, 19 Nov 2003 14:23:44 -0500 User-Agent: KMail/1.5.4 References: <200311191124.56176.ilia@prohost.org> <200311191348.16850.ilia@prohost.org> <3FBBC068.9050303@php.net> In-Reply-To: <3FBBC068.9050303@php.net> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-ID: <200311191423.44798.ilia@prohost.org> Subject: Re: [PHP-DEV] validate_file() and strip_file() From: ilia@prohost.org (Ilia Alshanetsky) 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()?