From: [EMAIL PROTECTED] Operating system: RH7.0 PHP version: 4.0 Latest CVS (16/04/2001) PHP Bug Type: PHP options/info functions Bug description: php -l (lint) disabled? "php -l script.php" doesn't seem to do anything. If it's been removed, then we should remove it from the list of "php -h" options. - Colin -- Edit Bug report at: http://bugs.php.net/?id=10348&edit=1 -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] To contact the list administrators, e-mail: [EMAIL PROTECTED]