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:

PHP Development Mailing List <>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]

Reply via email to